2004-06-17 webertj 2004-06-17 improved defcnf conversion
2004-06-17 paulson 2004-06-17 removal of magmas and semigroups
2004-06-17 wenzelm 2004-06-17 fixed 'requires' comments, which are needed for printing of drafts;
2004-06-17 wenzelm 2004-06-17 isub/isup quasi letter (again); tuned;
2004-06-17 wenzelm 2004-06-17 tuned;
2004-06-17 schirmer 2004-06-17 tuned
2004-06-16 wenzelm 2004-06-16 isatool_document: writeln output;
2004-06-16 wenzelm 2004-06-16 tuned document;
2004-06-16 wenzelm 2004-06-16 prevent looping of error messages involving malformed symbols;
2004-06-16 wenzelm 2004-06-16 tuned;
2004-06-16 wenzelm 2004-06-16 removed unused help function;
2004-06-16 paulson 2004-06-16 new fib example
2004-06-16 paulson 2004-06-16 removal of x-symbol syntax <Sigma> for dependent products
2004-06-15 wenzelm 2004-06-15 ISABELLE_TMP
2004-06-15 wenzelm 2004-06-15 path instead of string;
2004-06-15 wenzelm 2004-06-15 added path;
2004-06-15 wenzelm 2004-06-15 tuned lexical syntax;
2004-06-15 wenzelm 2004-06-15 num tokens;
2004-06-15 paulson 2004-06-15 fixed bad link
2004-06-15 paulson 2004-06-15 slight speed improvement
2004-06-15 paulson 2004-06-15 strengthened some theorems
2004-06-15 webertj 2004-06-15 Jerusat settings added
2004-06-15 webertj 2004-06-15 entries for ZChaff and BerkMin added/modified
2004-06-14 chaieb 2004-06-14 Oracle corrected
2004-06-14 obua 2004-06-14 Further development of matrix theory
2004-06-13 webertj 2004-06-13 faster defcnf conversion
2004-06-13 wenzelm 2004-06-13 updated;
2004-06-13 wenzelm 2004-06-13 updated;
2004-06-13 wenzelm 2004-06-13 tuned;
2004-06-13 wenzelm 2004-06-13 tuned Present.drafts;
2004-06-13 wenzelm 2004-06-13 added display_drafts and print_drafts commands;
2004-06-13 wenzelm 2004-06-13 added PRINT_COMMAND setting
2004-06-13 wenzelm 2004-06-13 added isatool display and isatool print;
2004-06-13 wenzelm 2004-06-13 print document
2004-06-13 wenzelm 2004-06-13 display document (in DVI format)
2004-06-12 wenzelm 2004-06-12 root for draft documents;
2004-06-12 wenzelm 2004-06-12 Library.translate_string;
2004-06-12 wenzelm 2004-06-12 added trace (inefficient for very long input);
2004-06-12 wenzelm 2004-06-12 added translate_string;
2004-06-12 wenzelm 2004-06-12 added read (provides transition names and sources);
2004-06-12 wenzelm 2004-06-12 added output_known_symbols; tuned;
2004-06-12 wenzelm 2004-06-12 added name_of, source_of, source;
2004-06-12 wenzelm 2004-06-12 added Present.drafts;
2004-06-12 wenzelm 2004-06-12 added option 'isatool latex -o syms';
2004-06-12 chaieb 2004-06-12 An oracle is built in. The tactic will not generate any proofs any more, if the quick_and_dirty flag is set on.
2004-06-10 wenzelm 2004-06-10 tuned;
2004-06-10 wenzelm 2004-06-10 improved RemoteFile;
2004-06-10 wenzelm 2004-06-10 tuned;
2004-06-10 aspinall 2004-06-10 Removed this: not really ready yet.
2004-06-10 aspinall 2004-06-10 Interface configuration for Isar
2004-06-09 wenzelm 2004-06-09 Sign.is_logtype;
2004-06-09 wenzelm 2004-06-09 prs: Output.output;
2004-06-09 wenzelm 2004-06-09 added split_ext; removed drop_ext;
2004-06-09 wenzelm 2004-06-09 tuned comment;
2004-06-09 wenzelm 2004-06-09 Scan.this_string;
2004-06-09 wenzelm 2004-06-09 tuned representation; added RemoteFile;
2004-06-09 wenzelm 2004-06-09 tuned;
2004-06-09 wenzelm 2004-06-09 added this_string;
2004-06-09 wenzelm 2004-06-09 tuned messages;
2004-06-09 wenzelm 2004-06-09 added is_logtype (replaces logtypes field of syntax); tuned merge;