| Thu, 19 Jul 2007 15:29:51 +0200 | berghofe | LaTeX code is now generated directly from theory file. | changeset | files |
| Wed, 18 Jul 2007 14:46:59 +0200 | aspinall | DEEPEN: Use priority message channel for interim messages (not warnings). | changeset | files |
| Wed, 18 Jul 2007 14:44:49 +0200 | aspinall | Direct priority and tracing channels properly. | changeset | files |
| Wed, 18 Jul 2007 11:43:06 +0200 | paulson | tidying using metis | changeset | files |
| Tue, 17 Jul 2007 22:51:27 +0200 | wenzelm | fileident --- produce file identification based; | changeset | files |
| Tue, 17 Jul 2007 22:51:13 +0200 | wenzelm | added ISABELLE_FILE_IDENT (command line for source file identification); | changeset | files |