| Thu, 02 Aug 2012 12:36:54 +0200 | wenzelm | more official command specifications, including source position; | file | diff | annotate |
| Wed, 01 Aug 2012 23:33:26 +0200 | wenzelm | more standard bootstrapping of Pure outer syntax; | file | diff | annotate |
| Thu, 26 Jul 2012 14:22:37 +0200 | wenzelm | more files for session Pure; | file | diff | annotate |
| Sun, 22 Jul 2012 00:00:22 +0200 | wenzelm | determine source dependencies, relatively to preloaded theories; | file | diff | annotate |
| Thu, 19 Jul 2012 12:37:08 +0200 | wenzelm | more explicit treatment of initial Pure sessions; | file | diff | annotate |