Mercurial Mercurial > hg > nominal2 / shortlog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
 
2010-04-04 Christian Urban separated general nominal theory into separate folder changeset | files
2010-04-03 Christian Urban added README and moved examples into separate directory changeset | files
2010-04-03 Christian Urban merged pearl paper with this repository; started litrature subdirectory changeset | files
2010-04-02 Christian Urban submitted version (just in time ;o) changeset | files
2010-04-02 Christian Urban first complete version (slightly less than 3h more to go) changeset | files
2010-04-02 Christian Urban tuned changeset | files
2010-04-02 Christian Urban tuned strong ind section changeset | files
2010-04-02 Christian Urban polished infrastruct section changeset | files
2010-04-02 Christian Urban completed lifting section changeset | files
2010-04-02 Christian Urban more on the lifting section changeset | files
2010-04-02 Christian Urban more on the strong induction section changeset | files
2010-04-01 Christian Urban completed conclusion changeset | files
2010-04-01 Christian Urban merged changeset | files
2010-04-01 Christian Urban merged changeset | files
2010-04-01 Christian Urban updated related work section changeset | files
2010-04-01 Cezary Kaliszyk fv_fv_bn changeset | files
2010-04-01 Cezary Kaliszyk Update fv_bn definition for bindings allowed in types for which bn is present. changeset | files
2010-04-01 Cezary Kaliszyk fv_perm_bn changeset | files
2010-04-01 Cezary Kaliszyk Minor formula fixes. changeset | files
2010-04-01 Christian Urban fixed alpha_bn changeset | files
2010-04-01 Christian Urban current state changeset | files
2010-04-01 Christian Urban merged changeset | files
2010-04-01 Christian Urban added alpha_bn definition changeset | files
2010-04-01 Cezary Kaliszyk hfill for right aligning single table cells. changeset | files
2010-04-01 Cezary Kaliszyk Cleaning the strong induction example. changeset | files
2010-04-01 Cezary Kaliszyk minor changeset | files
2010-04-01 Cezary Kaliszyk Fighting with space in displaying strong induction... changeset | files
2010-04-01 Cezary Kaliszyk starting strong induction changeset | files
2010-04-01 Cezary Kaliszyk General paper minor fixes. changeset | files
2010-04-01 Cezary Kaliszyk Forgot to save before commit. changeset | files
(0) -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 tip
nominal2