2009-12-28 wenzelm isabelle_tool: apply platform_path only once;
2009-12-28 wenzelm slightly more paranoid cleanup of process (cf. http://kylecartmell.com/?p=9 "Five Common java.lang.Process Pitfalls");
2009-12-28 wenzelm some sanity checks for symbol interpretation;
2009-12-27 wenzelm allow UTF-8 in theory and file names;
2009-12-27 wenzelm factored-out Library.decode_permissive_utf8;
2009-12-27 wenzelm read header by scanning/parsing file;
2009-12-27 wenzelm quoted_content: handle escapes;
2009-12-27 wenzelm scan: operate on file (via Scan.byte_reader), more robust exception handling;
2009-12-27 wenzelm added byte_reader, which works without decoding and enables efficient length operation (for scala.util.parsing.input.Reader);
2009-12-27 wenzelm removed unused read_file;
2009-12-24 paulson tidied proofs
2009-12-24 haftmann made sml/nj happy
2009-12-23 boehmes updated certificates
2009-12-23 boehmes updated example
2009-12-23 boehmes merged verification condition structure and term representation in one datatype,
2009-12-23 haftmann merged
2009-12-23 haftmann updated generated document sources
2009-12-23 haftmann take care for destructive print mode properly using dedicated pretty builders
2009-12-23 wenzelm merged
2009-12-23 haftmann made sml/nj happy
2009-12-23 haftmann merged
2009-12-23 haftmann dropped junk
2009-12-23 haftmann reduced code generator cache to the baremost minimum
2009-12-23 haftmann updated documentation
2009-12-23 haftmann updated generated examples
2009-12-23 haftmann reduced code generator cache to the baremost minimum; corrected spelling
2009-12-22 wenzelm basic setup for header scanning/parsing;
2009-12-22 wenzelm clarified atom parser: return content;
2009-12-22 wenzelm tuned;
2009-12-22 wenzelm renamed class Outer_Keyword to Outer_Syntax;
2009-12-22 wenzelm Isabelle session manager -- most basic setup;
2009-12-22 wenzelm actually closer file reader;
2009-12-22 wenzelm tuned;
2009-12-22 wenzelm added plain read_file;
2009-12-22 wenzelm consider proper input only;
2009-12-22 wenzelm added completion -- lazy avoids excessive table building;
2009-12-22 wenzelm Generic parsers for Isabelle/Isar outer syntax -- Scala version.
2009-12-22 wenzelm class Outer_Keyword wraps symbol interpretation, lexicon, keyword table;
2009-12-22 wenzelm explicit representation of Token_Kind -- cannot really depend on runtime types due to erasure;
2009-12-21 paulson Changes in generated code, apparently caused by changes to the code generation system itself.
2009-12-21 paulson Polishing up the English
2009-12-21 wenzelm merged
2009-12-21 haftmann merged
2009-12-21 haftmann clarified various user-defined syntax issues
2009-12-21 haftmann prefer prefix "iso" over potentially misleading "is"; tuned
2009-12-21 haftmann moved lemmas o_eq_dest, o_eq_elim here
2009-12-19 huffman add 'morphisms' option to domain_isomorphism command
2009-12-19 huffman merged
2009-12-19 huffman generalize lemma add_minus_cancel, add lemma minus_add, simplify some proofs
2009-12-19 huffman rename equals_zero_I to minus_unique (keep old name too)
2009-12-19 huffman add lemma swap_triple
2009-12-20 wenzelm improve performance by reordering of parser combinators;
2009-12-20 wenzelm added nested comments;
2009-12-20 wenzelm more Scala sources;
2009-12-20 wenzelm simiplified result of keyword parser (again);
2009-12-20 wenzelm simplified result of keyword and symbols parser;
2009-12-20 wenzelm Outer lexical syntax for Isabelle/Isar -- Scala version.
2009-12-20 wenzelm refined some Symbol operations/signatures;
2009-12-19 wenzelm refined some Symbol operations/signatures;
2009-12-19 wenzelm added basic library -- Scala version;
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip