isabelle: Changelog

wenzelm [Sun, 13 Mar 2011 17:28:14 +0100] rev 41950

clarified ISABELLE_CSDP setting (formerly CSDP_EXE);

wenzelm [Sun, 13 Mar 2011 16:52:59 +0100] rev 41949

more conventional Mutabelle settings -- similar to Mirabelle;

wenzelm [Sun, 13 Mar 2011 16:38:54 +0100] rev 41948

more basic use of Path.position/File.read;

wenzelm [Sun, 13 Mar 2011 16:38:14 +0100] rev 41947

prefer qualified ISABELLE_NEOS_SERVER;

wenzelm [Sun, 13 Mar 2011 16:30:02 +0100] rev 41946

proper File.shell_path;

wenzelm [Sun, 13 Mar 2011 16:14:14 +0100] rev 41945

more conventional variable name;

wenzelm [Sun, 13 Mar 2011 16:01:00 +0100] rev 41944

Path.print is the official way to show file-system paths to users -- note that Path.implode often indicates violation of the abstract datatype;

wenzelm [Sun, 13 Mar 2011 15:16:37 +0100] rev 41943

fixed document;

wenzelm [Sun, 13 Mar 2011 15:13:53 +0100] rev 41942

isatest: test more external code;

wenzelm [Sun, 13 Mar 2011 15:10:00 +0100] rev 41941

tuned headers;

isabelle