2004-06-21 wenzelm 2004-06-21 Type.cert_typ;
2004-06-21 wenzelm 2004-06-21 tuned certify_term;
2004-06-21 wenzelm 2004-06-21 added certify_class/sort;
2004-06-21 wenzelm 2004-06-21 added >>> : transition list -> unit;
2004-06-21 wenzelm 2004-06-21 immediate_output;
2004-06-21 wenzelm 2004-06-21 avoid \...\;
2004-06-21 wenzelm 2004-06-21 File.quote_sysify_path;
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2004-06-20 wenzelm 2004-06-20 got rid of Output.output for default print mode;
2004-06-20 wenzelm 2004-06-20 added checkTimer;
2004-06-20 wenzelm 2004-06-20 added accumulated timing;
2004-06-20 wenzelm 2004-06-20 added escape, export encode_raw, default mode now trivial, tuned;
2004-06-20 wenzelm 2004-06-20 use_output: Symbol.escape;
2004-06-20 wenzelm 2004-06-20 tuned pp;
2004-06-20 wenzelm 2004-06-20 avoid premature evaluation of syn_of (wastes time in conjunction with pp);
2004-06-20 wenzelm 2004-06-20 Symbol.encode_raw;
2004-06-20 wenzelm 2004-06-20 tuned;
2004-06-18 wenzelm 2004-06-18 improved comments -- required by 'isatool latex -o syms';
2004-06-18 wenzelm 2004-06-18 more generous treatment of packages in draft prints;
2004-06-18 wenzelm 2004-06-18 scalable string_of_tree; tuned;
2004-06-18 wenzelm 2004-06-18 tuned exists_string;
2004-06-18 wenzelm 2004-06-18 isatool_document: verbose option;
2004-06-18 aspinall 2004-06-18 Add \usepackage{latexsym}
2004-06-17 webertj 2004-06-17 new SAT solver interface
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;