src/Pure/System/build.scala
2012-07-18 wenzelm 2012-07-18 more tight treatment of reset_name;
2012-07-18 wenzelm 2012-07-18 more informative errors;
2012-07-18 wenzelm 2012-07-18 added parser for Session_Info;
2012-07-17 wenzelm 2012-07-17 basic support for session ROOT files, with examples for FOL and ZF;
2012-07-17 wenzelm 2012-07-17 basic setup for Isabelle build tool;