| 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 |
| Wed, 02 Jul 2008 07:12:17 +0200 | haftmann | code antiquotation roaring ahead | changeset | files |
| Wed, 02 Jul 2008 07:11:57 +0200 | haftmann | cleaned up some code generator configuration | changeset | files |
| Tue, 01 Jul 2008 21:30:12 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 01 Jul 2008 21:30:11 +0200 | wenzelm | added datatype category; | changeset | files |