2013-01-14 |
kuncar |
NEWS
|
file |
diff |
annotate
|
2013-01-11 |
wenzelm |
more NEWS;
|
file |
diff |
annotate
|
2013-01-09 |
wenzelm |
tune spelling;
|
file |
diff |
annotate
|
2013-01-08 |
wenzelm |
allow negative argument in "consumes" source format;
|
file |
diff |
annotate
|
2013-01-04 |
wenzelm |
merged
|
file |
diff |
annotate
|
2013-01-04 |
wenzelm |
more reactive completion popup by default;
|
file |
diff |
annotate
|
2013-01-04 |
blanchet |
updated docs
|
file |
diff |
annotate
|
2013-01-04 |
wenzelm |
more NEWS;
|
file |
diff |
annotate
|
2013-01-04 |
wenzelm |
document 'locale_deps';
|
file |
diff |
annotate
|
2013-01-03 |
wenzelm |
NEWS: ML runtime statistics;
|
file |
diff |
annotate
|
2012-12-31 |
wenzelm |
misc tuning for release;
|
file |
diff |
annotate
|
2012-12-31 |
wenzelm |
recovered Isabelle2012 NEWS from ae12b92c145a, except for e5420161d11d;
|
file |
diff |
annotate
|
2012-12-29 |
nipkow |
new theory Library/Finite_Lattice
|
file |
diff |
annotate
|
2012-12-23 |
nipkow |
renamed and added lemmas
|
file |
diff |
annotate
|
2012-12-18 |
haftmann |
discontinued legacy antiquotations and styles
|
file |
diff |
annotate
|
2012-12-14 |
hoelzl |
Remove the indexed basis from the definition of euclidean spaces and only use the set of Basis vectors
|
file |
diff |
annotate
|
2012-12-14 |
hoelzl |
NEWS
|
file |
diff |
annotate
|
2012-12-14 |
wenzelm |
merged
|
file |
diff |
annotate
|
2012-12-13 |
Christian Sternagel |
renamed "emb" to "list_hembeq";
|
file |
diff |
annotate
|
2012-12-13 |
wenzelm |
smarter handling of tracing messages: prover process pauses and enters user dialog;
|
file |
diff |
annotate
|
2012-12-10 |
wenzelm |
more generous tracing limit -- rescaled in MB;
|
file |
diff |
annotate
|
2012-12-06 |
wenzelm |
documentation for isabelle build_dialog and its implicit use in isabelle jedit;
|
file |
diff |
annotate
|
2012-11-26 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
2012-11-26 |
wenzelm |
merged
|
file |
diff |
annotate
|
2012-11-26 |
blanchet |
updated NEWS etc.
|
file |
diff |
annotate
|
2012-11-26 |
wenzelm |
refined outer syntax 'help' command;
|
file |
diff |
annotate
|
2012-11-25 |
wenzelm |
added convenience actions isabelle.increase-font-size and isabelle.decrease-font-size;
|
file |
diff |
annotate
|
2012-11-24 |
wenzelm |
more NEWS/CONTRIBUTORS;
|
file |
diff |
annotate
|
2012-11-24 |
wenzelm |
improved editing support for control styles;
|
file |
diff |
annotate
|
2012-11-24 |
wenzelm |
added ISABELLE_PLATFORM_FAMILY;
|
file |
diff |
annotate
|
2012-11-21 |
hoelzl |
NEWS: document changes in HOL-Probability
|
file |
diff |
annotate
|
2012-11-21 |
hoelzl |
NEWS (changeset 13211e07d931): add Countable_Set
|
file |
diff |
annotate
|
2012-11-21 |
hoelzl |
NEWS (changeset 69b35a75caf3): document changes in FuncSet
|
file |
diff |
annotate
|
2012-11-21 |
nipkow |
new theory of immutable arrays
|
file |
diff |
annotate
|
2012-11-20 |
wenzelm |
simplified command line of "isabelle install";
|
file |
diff |
annotate
|
2012-11-19 |
wenzelm |
theorem status about oracles/futures is no longer printed by default;
|
file |
diff |
annotate
|
2012-11-18 |
wenzelm |
more generous tracing_limit, with explicit system option;
|
file |
diff |
annotate
|
2012-11-18 |
wenzelm |
adjust max_threads_value to capabilities of Poly/ML 5.5 and current hardware;
|
file |
diff |
annotate
|
2012-11-17 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
2012-11-08 |
bulwahn |
NEWS
|
file |
diff |
annotate
|
2012-11-06 |
blanchet |
renamed Sledgehammer option
|
file |
diff |
annotate
|
2012-10-22 |
haftmann |
incorporated constant chars into instantiation proof for enum;
|
file |
diff |
annotate
|
2012-10-22 |
wenzelm |
more detailed Prover IDE NEWS;
|
file |
diff |
annotate
|
2012-10-21 |
webertj |
merged
|
file |
diff |
annotate
|
2012-10-19 |
webertj |
Renamed {left,right}_distrib to distrib_{right,left}.
|
file |
diff |
annotate
|
2012-10-20 |
haftmann |
moved quite generic material from theory Enum to more appropriate places
|
file |
diff |
annotate
|
2012-10-18 |
blanchet |
renamed Isar-proof related options + changed semantics of Isar shrinking
|
file |
diff |
annotate
|
2012-10-16 |
wenzelm |
support for more informative errors in lazy enumerations;
|
file |
diff |
annotate
|
2012-10-12 |
wenzelm |
more NEWS;
|
file |
diff |
annotate
|
2012-10-12 |
wenzelm |
simplified 'typedef' specifications: discontinued implicit set definition and alternative name;
|
file |
diff |
annotate
|
2012-10-11 |
haftmann |
simplified construction of fold combinator on multisets;
|
file |
diff |
annotate
|
2012-10-10 |
Andreas Lochbihler |
efficient construction of red black trees from sorted associative lists
|
file |
diff |
annotate
|
2012-10-08 |
haftmann |
consolidated names of theorems on composition;
|
file |
diff |
annotate
|
2012-10-08 |
haftmann |
corrected NEWS
|
file |
diff |
annotate
|
2012-10-04 |
wenzelm |
some documentation of show_markup;
|
file |
diff |
annotate
|
2012-09-28 |
wenzelm |
smarter handling of tracing messages;
|
file |
diff |
annotate
|
2012-09-22 |
wenzelm |
some PIDE NEWS from this summer;
|
file |
diff |
annotate
|
2012-09-21 |
blanchet |
renamed "Codatatype" directory "BNF" (and corresponding session) -- this opens the door to no-nonsense session names like "HOL-BNF-LFP"
|
file |
diff |
annotate
|
2012-09-20 |
Andreas Lochbihler |
NEWS and CONTRIBUTORS for a5377f6d9f14 and f0ecc1550998
|
file |
diff |
annotate
|
2012-09-15 |
haftmann |
typeclass formalising bounded subtraction
|
file |
diff |
annotate
|