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

tuned;
2009-06-09, by wenzelm
simplified IsabelleSystem.platform_path for cygwin;
2009-06-09, by wenzelm
merged
2009-06-09, by wenzelm
removed duplicate lemmas
2009-06-09, by himmelma
removed general graph functions in the predicate compiler
2009-06-09, by bulwahn
added graph builders
2009-06-09, by bulwahn
removed debug messages
2009-06-09, by bulwahn
refactoring the predicate compiler
2009-06-09, by bulwahn
merged
2009-06-09, by chaieb
Tuned sos tactic to reject non SOS goals
2009-06-09, by chaieb
tuned
2009-06-09, by boehmes
fast_lin_arith uses proper multiplication instead of unfolding to additions
2009-06-08, by boehmes
more lemmas
2009-06-08, by nipkow
Better approximation of cos around pi.
2009-06-08, by hoelzl
merged
2009-06-08, by huffman
merged
2009-06-07, by huffman
new lemma
2009-06-08, by nipkow
merged
2009-06-08, by haftmann
merged
2009-06-08, by haftmann
proper deresolving of class relations and class parameters in SML
2009-06-08, by haftmann
New lemma
2009-06-08, by nipkow
eliminated hardwired Cygwin setup;
2009-06-08, by wenzelm
Accessing the Cygwin installation.
2009-06-08, by wenzelm
static IsabelleSystem.charset;
2009-06-07, by wenzelm
isabelle getenv: option -d;
2009-06-07, by wenzelm
no parallel make jobs on macbroy23, which is the machine where SML/XL is tested -- attempt to consume less resources;
2009-06-06, by wenzelm
updated version;
2009-06-06, by wenzelm
fix type of open
2009-06-07, by huffman
new setL2 lemmas; instance ^ :: (topological_space, finite) topological_space
2009-06-07, by huffman
replace 'topo' with 'open'; add extra type constraint for 'open'
2009-06-07, by huffman

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

isabelle