| Thu, 05 Mar 2009 02:24:36 +0100 | wenzelm | merge with dummy changeset, to recover files in doc-src/IsarImplementation/ which got lost in aea5d7fa7ef5 (potentially due to insensitive file system on Mac OS); | changeset | files |
| Thu, 05 Mar 2009 02:20:06 +0100 | wenzelm | dummy changes to produce a new changeset of these files; | changeset | files |
| Thu, 05 Mar 2009 01:55:38 +0100 | wenzelm | updated generated file -- changed since @{ML} now ignores source flag; | changeset | files |
| Thu, 05 Mar 2009 00:16:28 +0100 | wenzelm | fixed document; | changeset | files |
| Wed, 04 Mar 2009 23:52:47 +0100 | wenzelm | removed old/broken CVS Ids; | changeset | files |
| Wed, 04 Mar 2009 23:05:32 +0100 | wenzelm | ML antiquotation @{lemma}: allow 'and' list, proper simultaneous type-checking; | changeset | files |
| Wed, 04 Mar 2009 19:22:32 +0000 | chaieb | merged | changeset | files |