doc-src/System/Thy/document/Basics.tex
2011-09-21 wenzelm 2011-09-21 alternative Socket_Channel; use BinIO for fifos uniformly;
2011-06-27 wenzelm 2011-06-27 document antiquotations are managed as theory data, with proper name space and entity markup;
2011-03-13 wenzelm 2011-03-13 files are identified via SHA1 digests -- discontinued ISABELLE_FILE_IDENT;
2011-01-11 wenzelm 2011-01-11 updated to Isabelle2011;
2010-11-29 wenzelm 2010-11-29 updated generated files;
2010-11-16 wenzelm 2010-11-16 more explicit explanation of init_component shell function;
2010-11-08 wenzelm 2010-11-08 updated generated files;
2010-11-05 wenzelm 2010-11-05 moved ISABELLE_IDENTIFIER from ISABELLE_OUTPUT further up to ISABELLE_HOME_USER;
2010-08-09 wenzelm 2010-08-09 Isabelle_Process: separate input fifo for commands (still using the old tty protocol); some partial workarounds for Cygwin;
2010-04-17 wenzelm 2010-04-17 added ISABELLE_PLATFORM and ISABELLE_PLATFORM64 -- NB: ML and JVM may have a different idea;
2009-12-04 wenzelm 2009-12-04 document init_component shell function;
2009-08-04 wenzelm 2009-08-04 spelling;
2009-08-04 wenzelm 2009-08-04 tuned "Bootstrapping the environment"; added "Additional components";
2009-07-20 wenzelm 2009-07-20 removed obsolete CVS Ids;
2009-05-31 wenzelm 2009-05-31 removed "compress" option from isabelle-process and isabelle usedir -- this is always enabled;
2009-05-31 wenzelm 2009-05-31 removed obsolete COPYDB flag;
2009-03-02 wenzelm 2009-03-02 fixed broken @{file} refs;
2008-11-30 wenzelm 2008-11-30 removed obsolete isabelle-interface executable and ISABELLE_INTERFACE setting; separate chapter on interfaces as Isabelle tools;
2008-11-30 wenzelm 2008-11-30 default for ISABELLE_HOME_USER is now ~/.isabelle instead of ~/isabelle;
2008-10-04 wenzelm 2008-10-04 updated generated file;
2008-10-04 wenzelm 2008-10-04 updated generated file;
2008-10-04 wenzelm 2008-10-04 updated generated file;
2008-09-18 wenzelm 2008-09-18 updated generated file;
2008-09-16 wenzelm 2008-09-16 Proof General: option -I is obsolete;
2008-09-16 wenzelm 2008-09-16 updated generated file;
2008-09-16 wenzelm 2008-09-16 misc tuning and modernization;
2008-09-15 wenzelm 2008-09-15 generated files;