| Wed, 03 Sep 2008 20:32:33 +0000 | convert-repo | update tags | changeset | files |
| Wed, 03 Sep 2008 20:04:54 +0200 | wenzelm | use /home/isabelle/mercurial/bin/hg wrapper; | changeset | files |
| Wed, 03 Sep 2008 19:52:45 +0200 | wenzelm | exclude large .mov files; | changeset | files |
| Wed, 03 Sep 2008 17:50:37 +0200 | wenzelm | simplified add_axiom: no hyps; | changeset | files |
| Wed, 03 Sep 2008 17:47:40 +0200 | wenzelm | discontinued local axioms -- too difficult to implement, too easy to produce nonsense; | changeset | files |
| Wed, 03 Sep 2008 17:47:38 +0200 | wenzelm | axiomatization is now global-only; | changeset | files |
| Wed, 03 Sep 2008 17:47:37 +0200 | wenzelm | added const_decl; | changeset | files |
| Wed, 03 Sep 2008 17:47:35 +0200 | wenzelm | simplified specify_const: canonical args, global deps; | changeset | files |