0
I Use This!
Inactive

Commits : Listings

Analyzed about 6 hours ago. based on code collected about 11 hours ago.
Apr 18, 2023 — Apr 18, 2024
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
more presentation More... over 13 years ago
more presentation More... over 13 years ago
more presentation More... over 13 years ago
presentation More... over 13 years ago
Merge branch 'master' of github.com:plcplc/poets More... over 13 years ago
added some presentation for plc More... over 13 years ago
Final commit More... over 13 years ago
Final commit, maybe More... over 13 years ago
Merge branch 'master' of github.com:plcplc/poets More... over 13 years ago
Rewrote typing judgements. More... over 13 years ago
Merge branch 'master' of github.com:plcplc/poets More... over 13 years ago
some changes... More... over 13 years ago
Merge branch 'master' of github.com:plcplc/poets More... over 13 years ago
Added links to haddock-files. More... over 13 years ago
fixed hyperref discrepancy More... over 13 years ago
Merge branch 'master' of github.com:plcplc/poets More... over 13 years ago
Merge More... over 13 years ago
fixed typo More... over 13 years ago
Merge branch 'master' of github.com:plcplc/poets More... over 13 years ago
files listing More... over 13 years ago
Reordering and reformulating evaluation section. More... over 13 years ago
stuff More... over 13 years ago
fixed bugs in .csl. Added updated docs to reflect updated comments More... over 13 years ago
documentation of source More... over 13 years ago
conflict More... over 13 years ago
removed multiple occurence of hyperref-trick More... over 13 years ago
Merge branch 'master' of github.com:plcplc/poets More... over 13 years ago
Merge branch 'master' of github.com:plcplc/poets More... over 13 years ago
intro for \chapter implementation. using relative hyperlinks for modules. More... over 13 years ago
spell corrections, Toms corrections and preparations for hyperref More... over 13 years ago