isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip

avoid fragile tranclp syntax; corrected resolution; corrected typo
2010-09-24, by haftmann
merged
2010-09-24, by wenzelm
use typewriter tag instead of bare environment
2010-09-24, by haftmann
dropped dead code
2010-09-24, by haftmann
always add trailing newline for presentation
2010-09-24, by haftmann
corrected omission
2010-09-24, by haftmann
fixed small font size fore typewriter text
2010-09-24, by haftmann
merged
2010-09-24, by haftmann
load theory explicitly
2010-09-24, by haftmann
merge
2010-09-24, by blanchet
make SML/NJ happier -- temporary solution until Metis is fixed upstream
2010-09-24, by blanchet
merged
2010-09-24, by bulwahn
being a little less strict than in 2e06dad03dd3
2010-09-24, by bulwahn
quotient package: respectfulness and preservation of identity.
2010-09-24, by Cezary Kaliszyk
merged
2010-09-23, by haftmann
merged
2010-09-23, by haftmann
removed superfluous output_typewriter from cs 65064e8f269
2010-09-23, by haftmann
more idiomatic handling of latex typewriter type setting
2010-09-23, by haftmann
more canonical type setting of type writer code examples
2010-09-23, by haftmann
resynchronize isabelle.sty
2010-09-23, by haftmann
reverted cs 5aced2f43837 -- no need for hardwired latex command here
2010-09-23, by haftmann
reverted cs 07549694e2f1 -- use re-printing with current print mode instead after code assembly, avoid Latex.output_typewriter
2010-09-23, by haftmann
reverted cs 07549694e2f1
2010-09-23, by haftmann
shifted abstraction over imperative print mode
2010-09-23, by haftmann
removing unneccessary expansion procedure for elimination rules; removing obsolete elim preprocessing; tuned
2010-09-23, by bulwahn
moving the preprocessing of introduction rules after the code_pred command; added tuple expansion preprocessing of elimination rule
2010-09-23, by bulwahn
exporting the generic version instead of the context version in quickcheck
2010-09-23, by bulwahn
splitting Predicate_Compile_Examples into Examples and Predicate_Compile_Tests
2010-09-23, by bulwahn
adding a mutual recursive example for named alternative rules for the predicate compiler
2010-09-23, by bulwahn
handling TYPE_MATCH error by raising user error message if user gives introduction rules with mismatching types
2010-09-23, by bulwahn
improving naming of assumptions in code_pred
2010-09-23, by bulwahn
adding check if user-given modes match type of predicates; removed useless function expand_tuples_elim
2010-09-23, by bulwahn
handling equivalences smarter in the predicate compiler
2010-09-23, by bulwahn
removing duplicate rewrite rule from simpset in predicate compiler
2010-09-23, by bulwahn
rewriting function mk_Eval_of in predicate compiler
2010-09-23, by bulwahn
merged
2010-09-23, by haftmann
improved and tuned external codegen tool
2010-09-23, by haftmann
make SML/NJ happy
2010-09-23, by blanchet
CONTRIBUTORS and NEWS
2010-09-23, by haftmann
corrections and tuning
2010-09-23, by haftmann
merged
2010-09-22, by haftmann
merged
2010-09-22, by haftmann
merged
2010-09-22, by haftmann
tuned
2010-09-22, by haftmann
persistent session-panel.selection;
2010-09-24, by wenzelm
slightly more robust EditBus plumbing wrt. Document_View/Document_Model;
2010-09-24, by wenzelm
permissive exit;
2010-09-24, by wenzelm
added Session_Dockable.session_phase label;
2010-09-24, by wenzelm
separate Plugin.init_model;
2010-09-23, by wenzelm
simplified Session.Phase;
2010-09-23, by wenzelm
tuned messages -- cf. Admin/MacOS/App1;
2010-09-23, by wenzelm
tuned dialog;
2010-09-23, by wenzelm
explicit Session.Phase indication with associated event bus;
2010-09-23, by wenzelm
tuned signature;
2010-09-23, by wenzelm
Plugin.stop: refrain from invalidating Isabelle.session -- some actors/dockables out there might still refer to it;
2010-09-23, by wenzelm
tuned;
2010-09-23, by wenzelm
manage persistent syslog via Session, not Isabelle_Process;
2010-09-23, by wenzelm
tuned prover message categorization;
2010-09-23, by wenzelm
tuned Isabelle_Sidekick.complete: lock buffer, depend on document model;
2010-09-23, by wenzelm
tuned message;
2010-09-23, by wenzelm

less more | (0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip

isabelle