| Wed, 02 Jul 2008 19:35:43 +0200 | huffman | use begin and end for proofs in locales | changeset | files |
| Wed, 02 Jul 2008 18:13:10 +0200 | wenzelm | exclude Distribution/bin/Isabelle; | changeset | files |
| Wed, 02 Jul 2008 16:40:20 +0200 | wenzelm | init_theory: pass name explicitly; | changeset | files |
| Wed, 02 Jul 2008 16:40:18 +0200 | wenzelm | replaced datatype category constructivism by is_theory/is_proof; | changeset | files |
| Wed, 02 Jul 2008 16:40:17 +0200 | wenzelm | Toplevel.init_theory: pass name explicitly; | changeset | files |
| Wed, 02 Jul 2008 16:40:15 +0200 | wenzelm | command: always keep transition, not just as initial status; | changeset | files |
| Wed, 02 Jul 2008 11:47:27 +0200 | haftmann | cached code for code antiquotation | changeset | files |