| 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 |
| Wed, 27 Aug 2008 20:36:27 +0200 | wenzelm | renamed Buffer.write to File.write_buffer; | changeset | files |
| Wed, 27 Aug 2008 20:36:26 +0200 | wenzelm | renamed Buffer.write to File.write_buffer; | changeset | files |
| Wed, 27 Aug 2008 20:36:25 +0200 | wenzelm | load buffer.ML before file.ML; | changeset | files |
| Wed, 27 Aug 2008 20:36:23 +0200 | wenzelm | replaced find_substring by first_field; | changeset | files |