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

merged
2009-06-17, by huffman
new GCD library, courtesy of Jeremy Avigad
2009-06-17, by huffman
replaced java Properties by pure property lists;
2009-06-18, by wenzelm
environment: keep original HOME and PATH (required for Cygwin integrity);
2009-06-18, by wenzelm
added toString;
2009-06-18, by wenzelm
jar: jvmpath wrapper (requires bash);
2009-06-18, by wenzelm
subSequence: bounds checking;
2009-06-18, by wenzelm
added reverse CharSequence;
2009-06-18, by wenzelm
merged
2009-06-18, by haftmann
uncheck is liberal wrt. semityped terms
2009-06-17, by haftmann
stripped dead comment
2009-06-17, by haftmann
skip_proof where appropriate
2009-06-17, by haftmann
more robust poly startup, by restricting heap size (otherwise it fails on very large memory);
2009-06-17, by wenzelm
merged
2009-06-17, by wenzelm
end_timing: actually display GC percentage, not factor;
2009-06-17, by wenzelm
merged
2009-06-17, by wenzelm
Polishing the English
2009-06-17, by paulson
rtrancl lemmas
2009-06-17, by nipkow
made SML/NJ happy;
2009-06-17, by wenzelm
usedir: internal timing option;
2009-06-17, by wenzelm
more detailed start_timing/end_timing;
2009-06-17, by wenzelm
more detailed start_timing/end_timing (in timing.ML);
2009-06-17, by wenzelm
removed obsolete time accumulator (better use Toplevel.profiling);
2009-06-17, by wenzelm
minor tuning according to Isabelle/ML conventions;
2009-06-17, by wenzelm
back to polyml-5.2.1;
2009-06-17, by wenzelm
corrected some issues
2009-06-17, by haftmann
refined section concerning classes
2009-06-17, by haftmann
reworked section on type classes
2009-06-17, by haftmann
merged
2009-06-17, by haftmann
reworked section on type classes
2009-06-17, by haftmann
updated table of overloaded constants
2009-06-17, by haftmann
more precise dependencies
2009-06-17, by haftmann
fixed grammar
2009-06-17, by haftmann
obey SML syntax even more closely
2009-06-17, by haftmann
merged
2009-06-17, by haftmann
obey SML syntax more closely
2009-06-17, by haftmann
datatype packages: record datatype_config for configuration flags; less verbose signatures
2009-06-17, by haftmann
merged
2009-06-16, by haftmann
ignore in-situ contrib symlinks
2009-06-16, by haftmann
datatype packages: record datatype_config for configuration flags; less verbose signatures
2009-06-16, by haftmann
dropped ID
2009-06-16, by haftmann
denominator should not be zero
2009-06-16, by haftmann
tuned brackets for let expressions etc.
2009-06-16, by haftmann
merged
2009-06-16, by huffman
smult_dvd lemmas; polynomial gcd
2009-06-16, by huffman
generalize lemmas dvd_mod and dvd_mod_iff to class semiring_div
2009-06-15, by huffman
move lemma div_power into semiring_div context; class ring_div inherits from idom
2009-06-15, by huffman
generalize many constants and lemmas from Convex_Euclidean_Space
2009-06-13, by huffman
generalize lemma connected_real_lemma
2009-06-13, by huffman
generalize lemmas
2009-06-13, by huffman
replace uses of (bi)linear with bounded_(bi)linear
2009-06-13, by huffman
new continuous/vimage lemmas; cleaned up proofs
2009-06-13, by huffman
generalize constants netlimit and continuous
2009-06-13, by huffman
generalize lemma Lim_unique to t2_space
2009-06-13, by huffman
less ambitious ML_OPTIONS;
2009-06-16, by wenzelm
another attempt to get a reduced at-sml-dev-e test;
2009-06-16, by wenzelm
added names, abbrevs;
2009-06-16, by wenzelm
added completions;
2009-06-16, by wenzelm
reorganized and abstracted version, via Set trait;
2009-06-16, by wenzelm
Efficient scanning of literals.
2009-06-16, by wenzelm

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

isabelle