2010-09-23 bulwahn adding a mutual recursive example for named alternative rules for the predicate compiler
2010-09-23 bulwahn handling TYPE_MATCH error by raising user error message if user gives introduction rules with mismatching types
2010-09-23 bulwahn improving naming of assumptions in code_pred
2010-09-23 bulwahn adding check if user-given modes match type of predicates; removed useless function expand_tuples_elim
2010-09-23 bulwahn handling equivalences smarter in the predicate compiler
2010-09-23 bulwahn removing duplicate rewrite rule from simpset in predicate compiler
2010-09-23 bulwahn rewriting function mk_Eval_of in predicate compiler
2010-09-23 haftmann merged
2010-09-23 haftmann improved and tuned external codegen tool
2010-09-23 blanchet make SML/NJ happy
2010-09-23 haftmann CONTRIBUTORS and NEWS
2010-09-23 haftmann corrections and tuning
2010-09-22 haftmann merged
2010-09-22 haftmann merged
2010-09-22 haftmann merged
2010-09-22 haftmann tuned
2010-09-24 wenzelm persistent session-panel.selection;
2010-09-24 wenzelm slightly more robust EditBus plumbing wrt. Document_View/Document_Model;
2010-09-24 wenzelm permissive exit;
2010-09-23 wenzelm added Session_Dockable.session_phase label;
2010-09-23 wenzelm separate Plugin.init_model;
2010-09-23 wenzelm simplified Session.Phase;
2010-09-23 wenzelm tuned messages -- cf. Admin/MacOS/App1;
2010-09-23 wenzelm tuned dialog;
2010-09-23 wenzelm explicit Session.Phase indication with associated event bus;
2010-09-23 wenzelm tuned signature;
2010-09-23 wenzelm Plugin.stop: refrain from invalidating Isabelle.session -- some actors/dockables out there might still refer to it;
2010-09-23 wenzelm tuned;
2010-09-23 wenzelm manage persistent syslog via Session, not Isabelle_Process;
2010-09-23 wenzelm tuned prover message categorization;
2010-09-23 wenzelm tuned Isabelle_Sidekick.complete: lock buffer, depend on document model;
2010-09-23 wenzelm tuned message;
2010-09-22 wenzelm Command.accumulate: refrain from adding tracing messages to markup tree -- potential scalability problem;
2010-09-22 wenzelm Snapshot.convert/revert: explicit error report to isolate sporadic crash;
2010-09-22 wenzelm make compiler doubly sure;
2010-09-22 wenzelm isabelle-process: less verbose no-commit mode;
2010-09-22 wenzelm tuned message;
2010-09-22 wenzelm tuned panel names and actions;
2010-09-22 wenzelm renamed setmp_noncritical to Unsynchronized.setmp to emphasize its meaning;
2010-09-22 wenzelm reactivated polyml-5.4.0 -- SVN 1214 fixes a problem with arbitrary precision arithmetic that was triggered by method "approximation" in HOL/Decision_Procs/Approximation_Ex.thy;
2010-09-22 nipkow merged
2010-09-22 nipkow more lists lemmas
2010-09-22 wenzelm merged
2010-09-22 haftmann merged
2010-09-22 haftmann tuned text
2010-09-22 haftmann sections on @{code} and code_reflect
2010-09-22 haftmann formal syntax diagram for code_reflect
2010-09-22 haftmann distinguish SML and Eval explicitly
2010-09-21 haftmann no_frees_* is subsumed by new framework mechanisms in Code_Preproc
2010-09-21 haftmann reject term variables explicitly
2010-09-21 haftmann avoid frees and vars in terms to be evaluated by abstracting and applying
2010-09-21 haftmann tuned whitespace
2010-09-22 blanchet make SML/NJ happier
2010-09-21 haftmann more conventional conversion signature
2010-09-21 haftmann added nbe paper
2010-09-21 haftmann continued section abut evaluation
(0) -30000 -10000 -3000 -1000 -300 -100 -56 +56 +100 +300 +1000 +3000 +10000 +30000 tip