| Wed, 26 Mar 2008 20:14:37 +0100 | wenzelm | use_thy: removed obsolete ML_Context.save; | changeset | files |
| Wed, 26 Mar 2008 20:14:36 +0100 | wenzelm | removed obsolete use_thy (cf. isar_syn.ML); | changeset | files |
| Wed, 26 Mar 2008 12:12:52 +0100 | kleing | use poly-cvs as name | changeset | files |