| Thu, 18 Aug 2005 12:07:33 +0200 | wenzelm | fixed command prompt (was broken due to P.tags); | changeset | files |
| Thu, 18 Aug 2005 11:59:17 +0200 | wenzelm | * The ML antiquotation prints type-checked ML expressions verbatim. | changeset | files |
| Thu, 18 Aug 2005 11:17:51 +0200 | wenzelm | replace freeze by 'setmp show_question_marks false'; | changeset | files |
| Thu, 18 Aug 2005 11:17:50 +0200 | wenzelm | proof_to_theory_context: interaction flag; | changeset | files |
| Thu, 18 Aug 2005 11:17:49 +0200 | wenzelm | accomodate interface Proof vs. Method; | changeset | files |
| Thu, 18 Aug 2005 11:17:48 +0200 | wenzelm | added NO_CASES; | changeset | files |
| Thu, 18 Aug 2005 11:17:47 +0200 | wenzelm | moved after method.ML; | changeset | files |
| Thu, 18 Aug 2005 11:17:46 +0200 | wenzelm | prepare attributes here; | changeset | files |