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