2012-08-02 wenzelm 2012-08-02 more official command specifications, including source position;
2012-08-01 wenzelm 2012-08-01 more standard bootstrapping of Pure outer syntax;
2012-07-26 wenzelm 2012-07-26 more files for session Pure;
2012-07-22 wenzelm 2012-07-22 determine source dependencies, relatively to preloaded theories; tuned signature;
2012-07-19 wenzelm 2012-07-19 more explicit treatment of initial Pure sessions;