| Thu, 28 Aug 2008 00:33:07 +0200 | wenzelm | removed obsolete get_string; | changeset | files |
| Thu, 28 Aug 2008 00:33:04 +0200 | wenzelm | removed obsolete ProofGeneral/pgml_isabelle.ML; | changeset | files |
| Wed, 27 Aug 2008 23:46:33 +0200 | huffman | simplify definition of vector_space locale (use axclasses instead of inheriting from field and ab_group_add classes) | changeset | files |