Tue, 03 May 2011 16:00:29 +0200 | wenzelm | updated configuration options -- no ML here; | changeset | files |
Tue, 03 May 2011 15:37:17 +0200 | wenzelm | tag ML as in IsarImplementation; | changeset | files |
Tue, 03 May 2011 15:35:07 +0200 | wenzelm | treat underscore as in IsarRef; | changeset | files |