Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Mon, 13 Aug 2007 21:22:42 +0200 fixed syntax
changeset
haftmann [Mon, 13 Aug 2007 21:22:42 +0200] rev 24253
fixed syntax
Mon, 13 Aug 2007 21:22:41 +0200 simplified
changeset
haftmann [Mon, 13 Aug 2007 21:22:41 +0200] rev 24252
simplified
Mon, 13 Aug 2007 21:22:40 +0200 fixed OCaml bug
changeset
haftmann [Mon, 13 Aug 2007 21:22:40 +0200] rev 24251
fixed OCaml bug
Mon, 13 Aug 2007 21:22:39 +0200 *** empty log message ***
changeset
haftmann [Mon, 13 Aug 2007 21:22:39 +0200] rev 24250
*** empty log message ***
Mon, 13 Aug 2007 21:22:37 +0200 renamed keyword "to" to "module_name"
changeset
haftmann [Mon, 13 Aug 2007 21:22:37 +0200] rev 24249
renamed keyword "to" to "module_name"
Mon, 13 Aug 2007 21:22:36 +0200 dropped code_axioms
changeset
haftmann [Mon, 13 Aug 2007 21:22:36 +0200] rev 24248
dropped code_axioms
Mon, 13 Aug 2007 18:10:24 +0200 moved appl syntax to PureThy;
changeset
wenzelm [Mon, 13 Aug 2007 18:10:24 +0200] rev 24247
moved appl syntax to PureThy; structure Lexicon: not hidden;
Mon, 13 Aug 2007 18:10:24 +0200 Lexicon.tokenize: do not appen EndToken yet;
changeset
wenzelm [Mon, 13 Aug 2007 18:10:24 +0200] rev 24246
Lexicon.tokenize: do not appen EndToken yet; term: include var, &&;
Mon, 13 Aug 2007 18:10:22 +0200 Lexicon.tokenize: do not appen EndToken yet;
changeset
wenzelm [Mon, 13 Aug 2007 18:10:22 +0200] rev 24245
Lexicon.tokenize: do not appen EndToken yet;
Mon, 13 Aug 2007 18:10:22 +0200 Lexicon.read_indexname/nat/variable;
changeset
wenzelm [Mon, 13 Aug 2007 18:10:22 +0200] rev 24244
Lexicon.read_indexname/nat/variable;
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle