Mercurial Mercurial > hg > nominal2 / shortlog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -1000 -300 -100 -14 +14 +100 +300 +1000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
 
2010-03-11 Christian Urban merged changeset | files
2010-03-11 Christian Urban finally the proof that new and old alpha agree changeset | files
2010-03-11 Cezary Kaliszyk Remove "_raw" from lifted theorems. changeset | files
2010-03-11 Cezary Kaliszyk looking at trm5_equivp changeset | files
2010-03-11 Cezary Kaliszyk The cheats described explicitely. changeset | files
2010-03-11 Cezary Kaliszyk The alpha5_eqvt tactic works if I manage to build the goal. changeset | files
2010-03-11 Cezary Kaliszyk With the 4 cheats, all examples fully lift. changeset | files
2010-03-11 Cezary Kaliszyk Lift alpha_bn_constants. changeset | files
2010-03-11 Cezary Kaliszyk Lifting constants. changeset | files
2010-03-11 Cezary Kaliszyk Proper error message. changeset | files
2010-03-11 Cezary Kaliszyk Lifting constants works for all examples. changeset | files
2010-03-11 Cezary Kaliszyk Remove tracing from fv/alpha. changeset | files
2010-03-11 Cezary Kaliszyk Equivp working only on the standard alpha-equivalences. changeset | files
2010-03-11 Cezary Kaliszyk explicit cheat_fv_eqvt changeset | files
Loading...
(0) -1000 -300 -100 -14 +14 +100 +300 +1000 tip
nominal2