| Fri, 03 Aug 2012 13:55:51 +0200 | wenzelm | static outer syntax based on session specifications; | changeset | files |
| Fri, 03 Aug 2012 15:38:44 +0200 | huffman | declare trE and tr_induct as default cases and induct rules for type tr | changeset | files |
| Fri, 03 Aug 2012 13:06:25 +0200 | wenzelm | reject path variable nesting explicitly; | changeset | files |
| Fri, 03 Aug 2012 12:37:31 +0200 | wenzelm | simplified custom document/build script, instead of old-style document/IsaMakefile; | changeset | files |
| Fri, 03 Aug 2012 09:51:28 +0200 | blanchet | cleaner temporary file cleanup for MaSh, based on tried-and-trusted code | changeset | files |
| Thu, 02 Aug 2012 16:17:52 +0200 | wenzelm | merged | changeset | files |
| Thu, 02 Aug 2012 10:10:29 +0200 | blanchet | don't tag negatively naked variables | changeset | files |