| Wed, 09 Jan 2013 12:22:09 +0100 |
wenzelm |
tune spelling;
|
file |
diff |
annotate
|
| Tue, 08 Jan 2013 16:23:07 +0100 |
wenzelm |
allow negative argument in "consumes" source format;
|
file |
diff |
annotate
|
| Fri, 04 Jan 2013 21:24:47 +0100 |
wenzelm |
merged
|
file |
diff |
annotate
|
| Fri, 04 Jan 2013 21:16:08 +0100 |
wenzelm |
more reactive completion popup by default;
|
file |
diff |
annotate
|
| Fri, 04 Jan 2013 19:00:49 +0100 |
blanchet |
updated docs
|
file |
diff |
annotate
|
| Fri, 04 Jan 2013 13:03:21 +0100 |
wenzelm |
more NEWS;
|
file |
diff |
annotate
|
| Fri, 04 Jan 2013 12:44:47 +0100 |
wenzelm |
document 'locale_deps';
|
file |
diff |
annotate
|
| Thu, 03 Jan 2013 14:23:10 +0100 |
wenzelm |
NEWS: ML runtime statistics;
|
file |
diff |
annotate
|
| Mon, 31 Dec 2012 13:08:37 +0100 |
wenzelm |
misc tuning for release;
|
file |
diff |
annotate
|
| Mon, 31 Dec 2012 12:25:11 +0100 |
wenzelm |
recovered Isabelle2012 NEWS from ae12b92c145a, except for e5420161d11d;
|
file |
diff |
annotate
|
| Sat, 29 Dec 2012 17:18:01 +0100 |
nipkow |
new theory Library/Finite_Lattice
|
file |
diff |
annotate
|
| Sun, 23 Dec 2012 19:54:15 +0100 |
nipkow |
renamed and added lemmas
|
file |
diff |
annotate
|
| Tue, 18 Dec 2012 21:59:44 +0100 |
haftmann |
discontinued legacy antiquotations and styles
|
file |
diff |
annotate
|
| Fri, 14 Dec 2012 15:46:01 +0100 |
hoelzl |
Remove the indexed basis from the definition of euclidean spaces and only use the set of Basis vectors
|
file |
diff |
annotate
|
| Fri, 14 Dec 2012 14:46:01 +0100 |
hoelzl |
NEWS
|
file |
diff |
annotate
|
| Fri, 14 Dec 2012 12:40:07 +0100 |
wenzelm |
merged
|
file |
diff |
annotate
|
| Thu, 13 Dec 2012 13:11:38 +0100 |
Christian Sternagel |
renamed "emb" to "list_hembeq";
|
file |
diff |
annotate
|
| Thu, 13 Dec 2012 19:53:55 +0100 |
wenzelm |
smarter handling of tracing messages: prover process pauses and enters user dialog;
|
file |
diff |
annotate
|
| Mon, 10 Dec 2012 16:06:57 +0100 |
wenzelm |
more generous tracing limit -- rescaled in MB;
|
file |
diff |
annotate
|
| Thu, 06 Dec 2012 21:46:20 +0100 |
wenzelm |
documentation for isabelle build_dialog and its implicit use in isabelle jedit;
|
file |
diff |
annotate
|
| Mon, 26 Nov 2012 19:53:43 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 26 Nov 2012 17:13:44 +0100 |
wenzelm |
merged
|
file |
diff |
annotate
|
| Mon, 26 Nov 2012 11:46:19 +0100 |
blanchet |
updated NEWS etc.
|
file |
diff |
annotate
|
| Mon, 26 Nov 2012 13:54:43 +0100 |
wenzelm |
refined outer syntax 'help' command;
|
file |
diff |
annotate
|
| Sun, 25 Nov 2012 17:15:21 +0100 |
wenzelm |
added convenience actions isabelle.increase-font-size and isabelle.decrease-font-size;
|
file |
diff |
annotate
|
| Sat, 24 Nov 2012 15:49:43 +0100 |
wenzelm |
more NEWS/CONTRIBUTORS;
|
file |
diff |
annotate
|
| Sat, 24 Nov 2012 14:50:19 +0100 |
wenzelm |
improved editing support for control styles;
|
file |
diff |
annotate
|
| Sat, 24 Nov 2012 12:39:58 +0100 |
wenzelm |
added ISABELLE_PLATFORM_FAMILY;
|
file |
diff |
annotate
|
| Wed, 21 Nov 2012 10:57:50 +0100 |
hoelzl |
NEWS: document changes in HOL-Probability
|
file |
diff |
annotate
|
| Wed, 21 Nov 2012 10:48:58 +0100 |
hoelzl |
NEWS (changeset 13211e07d931): add Countable_Set
|
file |
diff |
annotate
|