Mercurial Mercurial > hg > nominal2 / changelog
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.
Mon, 22 Feb 2010 17:19:28 +0100 Testing auto equivp code.
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 22 Feb 2010 17:19:28 +0100] rev 1215
Testing auto equivp code.
Mon, 22 Feb 2010 16:44:58 +0100 A tactic for final equivp
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 22 Feb 2010 16:44:58 +0100] rev 1214
A tactic for final equivp
Mon, 22 Feb 2010 16:16:04 +0100 More equivp infrastructure.
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 22 Feb 2010 16:16:04 +0100] rev 1213
More equivp infrastructure.
Mon, 22 Feb 2010 15:41:30 +0100 tactify transp
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 22 Feb 2010 15:41:30 +0100] rev 1212
tactify transp
Mon, 22 Feb 2010 15:09:53 +0100 export the reflp and symp tacs.
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 22 Feb 2010 15:09:53 +0100] rev 1211
export the reflp and symp tacs.
Mon, 22 Feb 2010 15:03:48 +0100 Generalize atom_trans and atom_sym.
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 22 Feb 2010 15:03:48 +0100] rev 1210
Generalize atom_trans and atom_sym.
Mon, 22 Feb 2010 14:50:53 +0100 Some progress about transp
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 22 Feb 2010 14:50:53 +0100] rev 1209
Some progress about transp
Mon, 22 Feb 2010 13:41:13 +0100 alpha-symmetric addons.
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 22 Feb 2010 13:41:13 +0100] rev 1208
alpha-symmetric addons.
Mon, 22 Feb 2010 12:12:32 +0100 alpha reflexivity
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 22 Feb 2010 12:12:32 +0100] rev 1207
alpha reflexivity
Mon, 22 Feb 2010 10:57:39 +0100 Renaming.
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 22 Feb 2010 10:57:39 +0100] rev 1206
Renaming.
Mon, 22 Feb 2010 10:39:05 +0100 Added missing description.
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 22 Feb 2010 10:39:05 +0100] rev 1205
Added missing description.
Mon, 22 Feb 2010 10:16:13 +0100 Added Brian's suggestion.
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 22 Feb 2010 10:16:13 +0100] rev 1204
Added Brian's suggestion.
Mon, 22 Feb 2010 09:55:43 +0100 Update TODO
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 22 Feb 2010 09:55:43 +0100] rev 1203
Update TODO
Sun, 21 Feb 2010 22:39:11 +0100 Removed bindings 'in itself' where possible.
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Sun, 21 Feb 2010 22:39:11 +0100] rev 1202
Removed bindings 'in itself' where possible.
(0) -1000 -300 -100 -14 +14 +100 +300 +1000 tip
nominal2