| Tue, 08 Mar 2016 18:15:16 +0100 |
wenzelm |
isabelle console is based on Isabelle/Scala;
|
file |
diff |
annotate
|
| Mon, 07 Mar 2016 21:53:21 +0100 |
wenzelm |
discontinued cd, pwd;
|
file |
diff |
annotate
|
| Mon, 07 Mar 2016 21:09:28 +0100 |
wenzelm |
File.bash_string operations in ML as in Scala -- exclusively for GNU bash, not perl and not user output;
|
file |
diff |
annotate
|
| Tue, 08 Mar 2016 21:07:46 +0100 |
haftmann |
syntax for multiset membership modelled after syntax for set membership
|
file |
diff |
annotate
|
| Mon, 07 Mar 2016 23:20:11 +0100 |
blanchet |
made 'size' plugin compatible with locales again (and added regression test)
|
file |
diff |
annotate
|
| Sat, 05 Mar 2016 23:05:07 +0100 |
wenzelm |
NEWS after Isabelle2016;
|
file |
diff |
annotate
|
| Sat, 05 Mar 2016 20:47:31 +0100 |
wenzelm |
abbreviations for \<nexists>;
|
file |
diff |
annotate
|
| Sat, 05 Mar 2016 19:58:56 +0100 |
wenzelm |
old HOL syntax is for input only;
|
file |
diff |
annotate
|
| Sat, 05 Mar 2016 17:01:45 +0100 |
wenzelm |
tuned signature -- clarified modules;
|
file |
diff |
annotate
|
| Sat, 05 Mar 2016 12:49:47 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Thu, 03 Mar 2016 22:16:52 +0100 |
wenzelm |
isabelle console -r" helps to bootstrap Isabelle/Pure;
|
file |
diff |
annotate
|
| Thu, 03 Mar 2016 21:30:31 +0100 |
wenzelm |
clarified isabelle_process;
|
file |
diff |
annotate
|
| Thu, 03 Mar 2016 11:12:02 +0100 |
wenzelm |
discontinued polyml-5.3.0;
|
file |
diff |
annotate
|
| Wed, 02 Mar 2016 19:43:31 +0100 |
wenzelm |
support for ML_exception_debugger;
|
file |
diff |
annotate
|
| Mon, 29 Feb 2016 22:34:36 +0100 |
wenzelm |
clarified session;
|
file |
diff |
annotate
|
| Mon, 29 Feb 2016 20:35:06 +0100 |
wenzelm |
isabelle_process executable no longer supports writable heap images;
|
file |
diff |
annotate
|
| Sun, 28 Feb 2016 17:37:20 +0100 |
wenzelm |
discontinued old 'header';
|
file |
diff |
annotate
|
| Sun, 28 Feb 2016 15:43:56 +0100 |
wenzelm |
removed pointless "isabelle yxml";
|
file |
diff |
annotate
|
| Sat, 27 Feb 2016 21:04:13 +0100 |
wenzelm |
symbol interpretation for \<circle>;
|
file |
diff |
annotate
|
| Fri, 26 Feb 2016 22:44:11 +0100 |
haftmann |
more succint formulation of membership for multisets, similar to lists;
|
file |
diff |
annotate
|
| Thu, 25 Feb 2016 19:08:48 +0100 |
wenzelm |
isabelle_scala_script is usually found by PATH;
|
file |
diff |
annotate
|
| Thu, 25 Feb 2016 13:58:48 +0000 |
paulson |
Conformal_mappings: a big development in complex analysis (+ some lemmas)
|
file |
diff |
annotate
|
| Thu, 25 Feb 2016 00:36:44 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 24 Feb 2016 07:41:52 +0100 |
nipkow |
NEWS
|
file |
diff |
annotate
|
| Wed, 10 Feb 2016 18:43:19 +0100 |
hoelzl |
Rename ordered_comm_monoid_add to ordered_cancel_comm_monoid_add. Introduce ordreed_comm_monoid_add, canonically_ordered_comm_monoid and dioid. Setup nat, entat and ennreal as dioids.
|
file |
diff |
annotate
|
| Thu, 18 Feb 2016 17:07:10 +0100 |
haftmann |
NEWS concerning 66a381d3f88f
|
file |
diff |
annotate
|
| Wed, 17 Feb 2016 23:29:35 +0100 |
wenzelm |
merged
|
file |
diff |
annotate
|
| Wed, 17 Feb 2016 23:06:24 +0100 |
wenzelm |
SML/NJ is no longer supported;
|
file |
diff |
annotate
|
| Wed, 17 Feb 2016 21:51:58 +0100 |
haftmann |
dropped various legacy fact bindings and tuned proofs
|
file |
diff |
annotate
|
| Wed, 17 Feb 2016 21:51:58 +0100 |
haftmann |
separated potentially conflicting type class instance into separate theory
|
file |
diff |
annotate
|