| Wed, 08 Aug 2007 20:03:17 +0200 | aspinall | Useful abbreviation of isatool commands used by Eclipse | changeset | files |
| Wed, 08 Aug 2007 16:40:20 +0200 | wenzelm | thread-safeness: when creating certified items, perform Theory.check_thy *last*; | changeset | files |
| Wed, 08 Aug 2007 14:00:09 +0200 | paulson | Code to undo the function ascii_of | changeset | files |
| Wed, 08 Aug 2007 13:59:46 +0200 | paulson | Fixing the code to undo the function ascii_of | changeset | files |
| Wed, 08 Aug 2007 13:14:31 +0200 | paulson | metis | changeset | files |
| Tue, 07 Aug 2007 23:24:10 +0200 | wenzelm | tuned ML setup; | changeset | files |
| Tue, 07 Aug 2007 20:43:36 +0200 | wenzelm | fixed imports from ../../Auth; | changeset | files |