src/Pure/Thy/present.ML
2008-03-27 wenzelm 2008-03-27 eliminated theory ProtoPure; renamed ML_Context.the_context to ML_Context.the_global_context;
2008-03-18 wenzelm 2008-03-18 theory loader: discontinued *attached* ML scripts;
2007-10-04 wenzelm 2007-10-04 avoid gensym;
2007-09-08 wenzelm 2007-09-08 tuned signature; tuned message;
2007-08-03 wenzelm 2007-08-03 sort indexes according to symbolic update_time (multithreading-safe);
2007-07-31 wenzelm 2007-07-31 no_document: setmp_noncritical;
2007-07-23 wenzelm 2007-07-23 marked some CRITICAL sections;
2007-07-22 wenzelm 2007-07-22 clarified init/begin_theory: no longer depend on thy_info.ML; tuned;
2007-07-20 wenzelm 2007-07-20 simplified ThyLoad interfaces: only one additional directory;
2007-07-19 wenzelm 2007-07-19 adapted ThyLoad.check_file etc.; tuned signature;
2007-05-07 wenzelm 2007-05-07 simplified DataFun interfaces;
2007-04-04 wenzelm 2007-04-04 cleaned-up Output functions;
2007-01-19 wenzelm 2007-01-19 moved ML context stuff to from Context to ML_Context; theorem(s): same kind;
2006-12-30 wenzelm 2006-12-30 removed conditional combinator;
2006-12-15 wenzelm 2006-12-15 avoid conflict with Alice keywords: renamed pack -> implode, unpack -> explode, any -> many, avoided assert;
2006-09-21 wenzelm 2006-09-21 member (op =);
2006-09-18 wenzelm 2006-09-18 added display_graph (from thm_deps.ML);
2006-03-21 wenzelm 2006-03-21 avoid polymorphic equality;
2006-02-15 wenzelm 2006-02-15 removed distinct, renamed gen_distinct to distinct;
2006-01-19 wenzelm 2006-01-19 setup: theory -> theory;
2005-10-19 wenzelm 2005-10-19 removed obsolete old_symbol_source;
2005-09-20 haftmann 2005-09-20 slight adaptions to library changes
2005-09-15 wenzelm 2005-09-15 TableFun/Symtab: curried lookup and update;
2005-09-01 wenzelm 2005-09-01 curried_lookup/update;
2005-08-31 wenzelm 2005-08-31 added copy-dump option;
2005-08-28 wenzelm 2005-08-28 isatool latex -o sty;
2005-08-16 wenzelm 2005-08-16 support for document versions;
2005-06-20 wenzelm 2005-06-20 clarify empty vs. pure browser info;
2005-06-17 wenzelm 2005-06-17 accomodate change of TheoryDataFun; accomodate identification of type Sign.sg and theory; proper treatment of Pure session;
2005-06-05 wenzelm 2005-06-05 removed copy, copy_all (superceded by File.copy, File.copy_dir); File.shell_path, File.isatool; tuned;
2005-04-21 wenzelm 2005-04-21 superceded by Pure.thy and CPure.thy;
2005-03-03 skalberg 2005-03-03 Move towards standard functions.
2005-02-13 skalberg 2005-02-13 Deleted Library.option type.
2004-08-23 berghofe 2004-08-23 begin_theory now takes optional path (current directory) as argument. This is needed for locating *.ML files connected with theories.
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2004-06-20 wenzelm 2004-06-20 tuned;
2004-06-18 wenzelm 2004-06-18 isatool_document: verbose option;
2004-06-16 wenzelm 2004-06-16 isatool_document: writeln output;
2004-06-13 wenzelm 2004-06-13 tuned Present.drafts;
2004-06-12 wenzelm 2004-06-12 added Present.drafts;
2004-06-09 wenzelm 2004-06-09 Url.File;
2004-04-16 berghofe 2004-04-16 Replaced quote by Library.quote, since quote now refers to Symbol.quote
2004-04-12 kleing 2004-04-12 use css use Graphbrowser.jar instead of .class files
2002-08-27 wenzelm 2002-08-27 simplified results; added hook;
2002-02-16 kleing 2002-02-16 fixed copy_all
2002-02-15 wenzelm 2002-02-15 clarified copy_all; generated second copy of document sources first (more robust);
2002-01-24 wenzelm 2002-01-24 copy_files *.sty;
2002-01-04 wenzelm 2002-01-04 isatool document: stderr to stdout;
2001-11-28 wenzelm 2001-11-28 theory data: removed obsolete finish method;
2001-11-11 wenzelm 2001-11-11 present multi_result;
2001-11-09 wenzelm 2001-11-09 theory data: finish method;
2001-10-23 wenzelm 2001-10-23 build option enables most basic browser info (for proper recording of session);
2001-10-20 wenzelm 2001-10-20 graceful interpretation of -i/-d/-D options; verbose: additional messages/warnings; include document graph;
2001-09-27 wenzelm 2001-09-27 verbose option;
2001-02-04 wenzelm 2001-02-04 added no_document
2000-09-11 wenzelm 2000-09-11 support \isabellecontext;
2000-09-01 wenzelm 2000-09-01 copy_files: do not quote paths (for now);
2000-09-01 wenzelm 2000-09-01 isatool_document: quote args;
2000-08-28 wenzelm 2000-08-28 tex_index: Latex.tex_trailer;
2000-07-27 wenzelm 2000-07-27 export write_graph;