| Thu, 16 Apr 2015 17:26:15 +0200 | wenzelm | clarified document antiquotation: same check as in ML antiquotation; | changeset | files |
| Thu, 16 Apr 2015 17:18:48 +0200 | wenzelm | formal Theory.check, with markup and completion; | changeset | files |
| Thu, 16 Apr 2015 16:19:39 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 16 Apr 2015 15:22:44 +0200 | wenzelm | discontinued pointless warnings: commands are only defined inside a theory context; | changeset | files |
| Thu, 16 Apr 2015 15:11:04 +0200 | wenzelm | tuned comment; | changeset | files |
| Thu, 16 Apr 2015 15:00:03 +0200 | wenzelm | more explicit bootstrap_thy; | changeset | files |