F

FormaleSysteme

Settings | Report Duplicate

0

I Use This!

Low Activity

Commits : Listings

Analyzed about 7 hours ago. based on code collected 1 day ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Jul 18, 2025 — Jul 18, 2026 Showing page 1 of 13 Search / Filter on:
fix display for print	Markus Krötzsch	More...				about 2 months ago
deleted unused file	Markus Krötzsch	More...				about 2 months ago
Merge branch 'master' of https://github.com/knowsys/FormaleSysteme	Markus Krötzsch	More...				about 2 months ago
fix display of final states for print version	Markus Krötzsch	More...				about 2 months ago
Merge pull request #57 from Joliensky/master	Maximilian Marx	More...				5 months ago
Komma hinzugefügt	Joliensky	More...				5 months ago
Komma hinzugefügt	Joliensky	More...				5 months ago
Komma hinzugefügt	Joliensky	More...				5 months ago
Komma hinzugefügt	Joliensky	More...				5 months ago
Merge pull request #56 from Joliensky/master	Maximilian Marx	More...				5 months ago
Fix typo in lecture-12.tex	Jolien Paulinsky	More...				5 months ago
Merge pull request #55 from wasiutinski/lecture-04-off-by-1	Maximilian Marx	More...				5 months ago
Fix: Off by one error bei der Definition von einem Lauf eines NFA	wasiutinski	More...				5 months ago
L26 for 2026	Markus Krötzsch	More...				6 months ago
L25 for 2026	Markus Krötzsch	More...				6 months ago
update programming language list for 22 Jan 2026	Markus Krötzsch	More...				6 months ago
fix lecture number	Markus Krötzsch	More...				6 months ago
L23 and L24 for 2026	Markus Krötzsch	More...				6 months ago
update for 2026	Markus Krötzsch	More...				6 months ago
link to WHILE simulator	Markus Krötzsch	More...				6 months ago
remove OpenHub stats; they are not relevant	Markus Krötzsch	More...				6 months ago
mention license for sty files, link to 2025/2026 PDFs	Markus Krötzsch	More...				6 months ago
update year of copyright	Markus Krötzsch	More...				6 months ago
minor clarifications	Markus Krötzsch	More...				6 months ago
better format for BB footnote	Markus Krötzsch	More...				6 months ago
typo; updates on BB(5)	Markus Krötzsch	More...				6 months ago
updated L22 for 2026 (exercise crossref still old)	Markus Krötzsch	More...				7 months ago
L21 for 2026	Markus Krötzsch	More...				7 months ago
new L20 for 2026	Markus Krötzsch	More...				7 months ago
push trivial local changes	Markus Krötzsch	More...				7 months ago

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