2008-06-02 wenzelm 2008-06-02 removed obsolete basics.tex;
2008-06-02 wenzelm 2008-06-02 more contributors; removed obsolete basics.tex; added Document_Preparation.tex;
2008-06-02 wenzelm 2008-06-02 renamed theory "syntax" to "Outer_Syntax";
2008-06-02 wenzelm 2008-06-02 isatool tty;
2008-06-02 wenzelm 2008-06-02 renamed theory "intro" to "Introduction";
2008-06-02 nipkow 2008-06-02 tuned proofs
2008-06-01 dixon 2008-06-01 fixed bug: maxidx was wrongly calculuated from term, now calculated from theorem correctly.
2008-06-01 urbanc 2008-06-01 new example
2008-05-31 wenzelm 2008-05-31 updated to E 0.999-006;
2008-05-30 wenzelm 2008-05-30 THIS_IS_ISABELLE_MAKEBIN is back;
2008-05-30 wenzelm 2008-05-30 cvs2cl only for unofficial releases;
2008-05-30 wenzelm 2008-05-30 more AFP sessions;
2008-05-30 nipkow 2008-05-30 *** empty log message ***
2008-05-30 krauss 2008-05-30 Updated function tutorial.
2008-05-30 haftmann 2008-05-30 (adjusted)
2008-05-30 haftmann 2008-05-30 various code streamlining
2008-05-30 wenzelm 2008-05-30 more AFP sessions;
2008-05-29 wenzelm 2008-05-29 legacy_feature: no proof context in simpset;
2008-05-29 wenzelm 2008-05-29 proper context for attribute simplified;
2008-05-29 wenzelm 2008-05-29 added warning_count for issued reconstruction failure messages (limit 10); less nesting of let expressions;
2008-05-29 wenzelm 2008-05-29 proper context for ss;
2008-05-29 wenzelm 2008-05-29 proper context for simp_thms_conv;
2008-05-29 wenzelm 2008-05-29 added warning_count for issued reconstruction failure messages;
2008-05-29 wenzelm 2008-05-29 tuned;
2008-05-29 nipkow 2008-05-29 *** empty log message ***
2008-05-29 haftmann 2008-05-29 yet another attempt to circumvent printmode problems
2008-05-28 wenzelm 2008-05-28 obsolete;
2008-05-28 wenzelm 2008-05-28 moved README-polyml to polyml/README;
2008-05-28 wenzelm 2008-05-28 README for Poly/ML 5.2 distribution;
2008-05-28 wenzelm 2008-05-28 tuned;
2008-05-28 wenzelm 2008-05-28 more contribs;
2008-05-28 wenzelm 2008-05-28 misc tuning for Isabelle2008;
2008-05-28 wenzelm 2008-05-28 added some notable improvements;
2008-05-28 wenzelm 2008-05-28 tuned version numbers;
2008-05-28 wenzelm 2008-05-28 prepared for Isabelle2008;
2008-05-28 wenzelm 2008-05-28 added ISABELLE_HOME to startup; pathed OS.FileSys.tmpName to drop C string terminator; added OS.FileSys.fullPath;
2008-05-28 wenzelm 2008-05-28 added Substring.full;
2008-05-28 haftmann 2008-05-28 moved distinctness_limit to datatype_rep_proofs.ML
2008-05-28 haftmann 2008-05-28 fixed utterly wrong print mode handling
2008-05-28 haftmann 2008-05-28 new serializer interface
2008-05-28 haftmann 2008-05-28 added new code_datatype example
2008-05-26 haftmann 2008-05-26 proper use of the Pretty module
2008-05-26 haftmann 2008-05-26 permissive wrt. instantiation of class operations
2008-05-26 haftmann 2008-05-26 proper lemma [source] antiquotation
2008-05-26 haftmann 2008-05-26 check for illegal merge of class parameters
2008-05-26 haftmann 2008-05-26 proper NoSubsort CLASS_ERROR
2008-05-26 haftmann 2008-05-26 tuned theorem order
2008-05-24 wenzelm 2008-05-24 inst_subst_tac: match types -- no longer assume that subst rule has exactly one type argument; misc tuning -- more cterm operations, more qualified names;
2008-05-24 wenzelm 2008-05-24 updated generated file;
2008-05-24 wenzelm 2008-05-24 added local_theory command wrappers;
2008-05-24 wenzelm 2008-05-24 uniform treatment of target, not as config;
2008-05-24 wenzelm 2008-05-24 more uniform treatment of OuterSyntax.local_theory commands;
2008-05-24 wenzelm 2008-05-24 updated generated file;
2008-05-24 wenzelm 2008-05-24 invisible comment;
2008-05-24 wenzelm 2008-05-24 function: uniform treatment of target, not as config;
2008-05-24 wenzelm 2008-05-24 added parse_document (optional unchecked header material); parse: parse_document instead of parse_element;
2008-05-24 wenzelm 2008-05-24 exported master_directory;
2008-05-24 wenzelm 2008-05-24 present_excursion: setmp_thread_position during presentation;
2008-05-24 wenzelm 2008-05-24 use: explicit .ML;
2008-05-24 wenzelm 2008-05-24 ident: naive caching prevents potentially slow external invocations; tuned comments; tuned;