T

TheoLog

Settings | Report Duplicate

0

I Use This!

Moderate Activity

Commits : Listings

Analyzed about 9 hours ago. based on code collected about 16 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Jul 17, 2025 — Jul 17, 2026 Showing page 1 of 14 Search / Filter on:
L23 for 2026	Markus Krötzsch	More...				1 day ago
update for 2026	Markus Krötzsch	More...				6 days ago
update for 2026	Markus Krötzsch	More...				9 days ago
updae for 2026	Markus Krötzsch	More...				12 days ago
update for 2026	Markus Krötzsch	More...				19 days ago
L17 for 2026	Markus Krötzsch	More...				26 days ago
+L16 for 2026	Markus Krötzsch	More...				about 1 month ago
updates for 2026	Markus Krötzsch	More...				about 1 month ago
updates for 2026	Markus Krötzsch	More...				about 1 month ago
moved some content	Markus Krötzsch	More...				about 1 month ago
update for 2026	Markus Krötzsch	More...				about 1 month ago
update for 2026	Markus Krötzsch	More...				about 1 month ago
fixed error	Markus Krötzsch	More...				about 1 month ago
updated title	Markus Krötzsch	More...				2 months ago
corrected date	Markus Krötzsch	More...				2 months ago
Merge branch 'main' of https://github.com/knowsys/TheoLog	Markus Krötzsch	More...				2 months ago
L9 for 2026	Markus Krötzsch	More...				2 months ago
remove duplicate clause	Niklas	More...				2 months ago
Merge pull request #71 from Nugfle/main	Maximilian Marx	More...				2 months ago
L8 for 2026	Markus Krötzsch	More...				2 months ago
fix ref to prior lecture	Markus Krötzsch	More...				2 months ago
L7 for 2026	Markus Krötzsch	More...				2 months ago
fixed typo	Markus Krötzsch	More...				2 months ago
fixed typos	Markus Krötzsch	More...				2 months ago
L6 for 2026	Markus Krötzsch	More...				3 months ago
Merge branch 'main' of https://github.com/knowsys/TheoLog	Markus Krötzsch	More...				3 months ago
keep language parts	Markus Krötzsch	More...				3 months ago
fix typos	Niklas	More...				3 months ago
Merge pull request #73 from devmaxde/patch-1	Maximilian Marx	More...				3 months ago
update after lecture	Markus Krötzsch	More...				3 months ago

←
1
2
3
4
5
6
7
8
9
…
13
14
→