Mercurial > 14ss.theoinf

log notes/ue04_notes.pdf @ 17:0f7daeda8363

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
less more | (0) tip
age author description
Sun, 11 May 2014 00:27:30 +0200 Markus Kaiser wording; add explicit productions to cf-pumping lemma
Sat, 10 May 2014 19:39:01 +0200 Markus Kaiser fourth sheet and notes
less more | (0) tip