2010-01-13 haftmann 2010-01-13 explicit abstract type of code certificates
2010-01-13 haftmann 2010-01-13 corrected error messages; tuned
2010-01-13 haftmann 2010-01-13 function transformer preprocessor applies to both code generators
2010-01-13 haftmann 2010-01-13 merged
2010-01-12 haftmann 2010-01-12 code certificates as integral part of code generation
2010-01-13 haftmann 2010-01-13 import of antiquote_setup not necessary
2010-01-13 haftmann 2010-01-13 merged
2010-01-13 haftmann 2010-01-13 being more accurate wrt. list syntax
2010-01-13 haftmann 2010-01-13 deactivate pretty code test for Scala -- no proper setup yet
2010-01-13 haftmann 2010-01-13 some syntax setup for Scala
2010-01-13 wenzelm 2010-01-13 added SOLVED' -- a more direct version of THEN_ALL_NEW (K no_tac) -- strictly speaking it does not even depend on subgoal addressing, but it would be too confusing without it;
2010-01-12 wenzelm 2010-01-12 merged
2010-01-12 paulson 2010-01-12 Parsing errors during proof reconstruction now give rise to an intelligible error message.
2010-01-12 wenzelm 2010-01-12 rebuilt from fresh copy of Bitstream Vera, for improved quality of regular text glyphs; misc cleanup of mathematical glyphs, with bold version synthesized by fontforge;
2010-01-12 wenzelm 2010-01-12 tuned initial properties/perspective;
2010-01-12 wenzelm 2010-01-12 provide JEDIT_SETTINGS via settings; provide default perspective; tuned default properties;
2010-01-12 wenzelm 2010-01-12 updated version and dependencies;
2010-01-12 wenzelm 2010-01-12 recovered subscript (cf. ded5b770ec1c);
2010-01-12 haftmann 2010-01-12 formal antiquotations for ML snippets; no "open" unsynchronized references
2010-01-11 wenzelm 2010-01-11 clarified terminology;
2010-01-11 wenzelm 2010-01-11 merged
2010-01-11 haftmann 2010-01-11 added code certificates
2010-01-11 haftmann 2010-01-11 tuned code equations
2010-01-11 hoelzl 2010-01-11 Matrices form a semiring with 0
2010-01-11 wenzelm 2010-01-11 incorporate "proofdocument" part into main Isabelle/Pure.jar -- except for html_panel.scala, which depends on external library (Lobo/Cobra browser);
2010-01-11 wenzelm 2010-01-11 ignore some src/Tools/jEdit stuff;
2010-01-11 wenzelm 2010-01-11 merged with converted/relocated copy of http://isabelle.in.tum.de/repos/isabelle-jedit/rev/93d884afa74b
2010-01-11 wenzelm 2010-01-11 more timing;
2010-01-11 wenzelm 2010-01-11 more tobust treatment of Document.current_state; some timing;
2010-01-11 wenzelm 2010-01-11 new unparsed span for text right after existing command; tuned;
2010-01-11 wenzelm 2010-01-11 Outer_Lex.is_ignored;
2010-01-11 wenzelm 2010-01-11 simplified Text_Edit;
2010-01-11 wenzelm 2010-01-11 eliminated strange mutable var commands; removed_commands: refer to old commands; misc tuning;
2010-01-11 wenzelm 2010-01-11 updated header;
2010-01-11 wenzelm 2010-01-11 eliminated obsolete isabelle.proofdocument.Token;
2010-01-11 wenzelm 2010-01-11 do not override Command.hashCode -- which was inconsistent with eq anyway; unparsed: no id, commands observe pointer equality; actually invoke edit_commands; more correct doc_edits; tuned;
2010-01-11 wenzelm 2010-01-11 renamed Command.content to source; reorganization of document parsing, using command spans etc. -- initial setup;
2010-01-10 wenzelm 2010-01-10 further tuning of command_start;
2010-01-10 wenzelm 2010-01-10 refrain from poking blink rate -- might get stuck in invisible state;
2010-01-10 wenzelm 2010-01-10 eliminated Command.stop, which tends to case duplicate traversal of commands;
2010-01-10 wenzelm 2010-01-10 iterators for ranges of commands/starts -- avoid extra array per document; try/finally for saved_color; misc tuning;
2010-01-10 wenzelm 2010-01-10 tuned document changes;
2010-01-10 wenzelm 2010-01-10 misc tuning and clarification of Document/Change;
2010-01-10 wenzelm 2010-01-10 adhoc reset of blink rate; bind "console" instance;
2010-01-10 wenzelm 2010-01-10 provide global "Isabelle" within interpreter loop -- using import instead of val avoids pontential conflicts with later import isabelle.jedit._;
2010-01-09 wenzelm 2010-01-09 redirect scala.Console output during interpretation; misc tuning;
2010-01-09 wenzelm 2010-01-09 bind "session"; added printInfoMessage; added stop -- re-inits the interpreter;
2010-01-09 wenzelm 2010-01-09 export isabelle_system, e.g. for use via "session" in Isabelle/Scala interpreter;
2010-01-09 wenzelm 2010-01-09 removed unused var plugin;
2010-01-09 wenzelm 2010-01-09 pass all jEdit jars to compiler as classpath -- to enable proper referencing of application name space; reduced predefined values, which take time and are static anyway;
2010-01-09 wenzelm 2010-01-09 provide some bindings of jEdit values; plain color for input;
2010-01-08 wenzelm 2010-01-08 more precise prompt etc.;
2010-01-08 wenzelm 2010-01-08 define scala.home, for more robust startup of Scala tools, notably the compiler;
2010-01-08 wenzelm 2010-01-08 added jEdit Console and Scala compiler;
2010-01-08 wenzelm 2010-01-08 some attempts at Scala console plugin;
2010-01-06 wenzelm 2010-01-06 more precise treatment of document/state assigment;
2010-01-05 wenzelm 2010-01-05 more precise notion of bad messages;
2010-01-05 wenzelm 2010-01-05 use Text_Edit provided by Isabelle;
2010-01-05 wenzelm 2010-01-05 result.is_ready is not bad;
2010-01-04 wenzelm 2010-01-04 singleton status messages, with more precise patterns -- report bad messages;