| Thu, 16 Apr 2015 17:18:48 +0200 | wenzelm | formal Theory.check, with markup and completion; | file | diff | annotate |
| Thu, 16 Apr 2015 15:22:44 +0200 | wenzelm | discontinued pointless warnings: commands are only defined inside a theory context; | file | diff | annotate |
| Thu, 16 Apr 2015 13:48:10 +0200 | wenzelm | clarified thy_deps; | file | diff | annotate |