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 -50 -28 +28 +50 +100 +300 +1000 +3000 +10000 +30000 tip

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, by wenzelm
merged
2010-09-22, by nipkow
more lists lemmas
2010-09-22, by nipkow
merged
2010-09-22, by wenzelm
merged
2010-09-22, by haftmann
tuned text
2010-09-22, by haftmann
sections on @{code} and code_reflect
2010-09-22, by haftmann
formal syntax diagram for code_reflect
2010-09-22, by haftmann
distinguish SML and Eval explicitly
2010-09-22, by haftmann
no_frees_* is subsumed by new framework mechanisms in Code_Preproc
2010-09-21, by haftmann
reject term variables explicitly
2010-09-21, by haftmann
avoid frees and vars in terms to be evaluated by abstracting and applying
2010-09-21, by haftmann
tuned whitespace
2010-09-21, by haftmann
make SML/NJ happier
2010-09-22, by blanchet
more conventional conversion signature
2010-09-21, by haftmann
added nbe paper
2010-09-21, by haftmann
continued section abut evaluation
2010-09-21, by haftmann
make SML/NJ happier
2010-09-21, by blanchet
new lemma
2010-09-21, by nipkow
merged
2010-09-20, by nipkow
new lemmas
2010-09-20, by nipkow
revert b96941dddd04 and c13b4589fddf, which dramatically inflate proof terms
2010-09-20, by blanchet
basic setup for Session_Dockable controls;
2010-09-22, by wenzelm
tuned signature;
2010-09-22, by wenzelm
more content for Session_Dockable;
2010-09-22, by wenzelm
basic support for full document rendering;
2010-09-22, by wenzelm
Session_Dockable: basic syslog output;
2010-09-22, by wenzelm
just one Session.raw_messages event bus;
2010-09-22, by wenzelm

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

isabelle