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.
Fri, 29 Jun 2007 18:21:25 +0200 bug fixes to proof reconstruction
changeset
paulson [Fri, 29 Jun 2007 18:21:25 +0200] rev 23519
bug fixes to proof reconstruction
Fri, 29 Jun 2007 16:05:00 +0200 dropped local cg cmd
changeset
haftmann [Fri, 29 Jun 2007 16:05:00 +0200] rev 23518
dropped local cg cmd
Thu, 28 Jun 2007 19:09:43 +0200 dropped toplevel lcm, gcd
changeset
haftmann [Thu, 28 Jun 2007 19:09:43 +0200] rev 23517
dropped toplevel lcm, gcd
Thu, 28 Jun 2007 19:09:41 +0200 proper collapse_let
changeset
haftmann [Thu, 28 Jun 2007 19:09:41 +0200] rev 23516
proper collapse_let
Thu, 28 Jun 2007 19:09:38 +0200 new code generator framework
changeset
haftmann [Thu, 28 Jun 2007 19:09:38 +0200] rev 23515
new code generator framework
Thu, 28 Jun 2007 19:09:36 +0200 dropped Library.lcm
changeset
haftmann [Thu, 28 Jun 2007 19:09:36 +0200] rev 23514
dropped Library.lcm
Thu, 28 Jun 2007 19:09:35 +0200 tuned
changeset
haftmann [Thu, 28 Jun 2007 19:09:35 +0200] rev 23513
tuned
Thu, 28 Jun 2007 19:09:34 +0200 code generation for dvd
changeset
haftmann [Thu, 28 Jun 2007 19:09:34 +0200] rev 23512
code generation for dvd
Thu, 28 Jun 2007 19:09:32 +0200 simplified keyword setup
changeset
haftmann [Thu, 28 Jun 2007 19:09:32 +0200] rev 23511
simplified keyword setup
Wed, 27 Jun 2007 12:41:36 +0200 GPL -> BSD
changeset
paulson [Wed, 27 Jun 2007 12:41:36 +0200] rev 23510
GPL -> BSD
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle