Mercurial Mercurial > repos > isabelle / shortlog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -16 +16 +100 +300 +1000 +3000 +10000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
 
2014-02-19 sultana experimenting with improving DOT output, and embedding LaTeX code for formulas (rather than only giving the clause number); changeset | files
2014-02-19 sultana added more node shapes (matched with roles); changeset | files
2014-02-19 blanchet updated NEWS changeset | files
2014-02-19 blanchet merged 'List.set' with BNF-generated 'set' changeset | files
2014-02-19 kleing moved advanced folding into separate exercise changeset | files
2014-02-19 kleing tuned definition changeset | files
2014-02-19 traytel another simplification of internal codatatype construction changeset | files
2014-02-19 traytel reflect 207538943038 in NEWS changeset | files
2014-02-19 traytel reverted ba7392b52a7c: List_Prefix not needed anymore by codatatypes changeset | files
2014-02-19 traytel removed not anymore used constants and theorems changeset | files
2014-02-19 traytel simplifications of internal codatatype construction changeset | files
2014-02-19 blanchet adapted Nitpick to 'primrec' refactoring changeset | files
2014-02-19 blanchet moved 'primrec' up (for real this time) and removed temporary 'old_primrec' changeset | files
2014-02-19 blanchet rewrote a small portion of code to avoid dependency on low-level constant changeset | files
2014-02-19 blanchet tuning changeset | files
2014-02-19 kleing provide more automation for type definitions (makes book exercises easier) changeset | files
(0) -30000 -10000 -3000 -1000 -300 -100 -16 +16 +100 +300 +1000 +3000 +10000 tip
isabelle