Sun, 03 Apr 2016 23:56:52 +0200 |
wenzelm |
renamed ISABELLE_BUILD_JAVA_OPTIONS to ISABELLE_TOOL_JAVA_OPTIONS;
|
file |
diff |
annotate
|
Fri, 01 Apr 2016 21:34:51 +0200 |
wenzelm |
documentation;
|
file |
diff |
annotate
|
Fri, 01 Apr 2016 16:15:31 +0200 |
wenzelm |
explicit property for unbreakable block;
|
file |
diff |
annotate
|
Tue, 22 Mar 2016 12:39:37 +0100 |
blanchet |
document addition of 'corec'
|
file |
diff |
annotate
|
Sat, 19 Mar 2016 16:53:09 +0100 |
haftmann |
unified CHAR with CHR syntax
|
file |
diff |
annotate
|
Fri, 18 Mar 2016 20:35:01 +0100 |
wenzelm |
recovered from Unicode accident in 7248d106c607;
|
file |
diff |
annotate
|
Fri, 18 Mar 2016 20:29:50 +0100 |
wenzelm |
merged
|
file |
diff |
annotate
|
Thu, 17 Mar 2016 16:56:44 +0100 |
wenzelm |
@{make_string} is available during Pure bootstrap;
|
file |
diff |
annotate
|
Fri, 18 Mar 2016 08:01:49 +0100 |
Andreas Lochbihler |
move Complete_Partial_Orders2 from AFP/Coinductive to HOL/Library
|
file |
diff |
annotate
|
Wed, 16 Mar 2016 22:19:08 +0100 |
wenzelm |
eliminated spurious Unicode, which is in conflict with Isabelle symbol interpretation;
|
file |
diff |
annotate
|
Wed, 16 Mar 2016 22:04:38 +0100 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
Sat, 12 Mar 2016 22:22:12 +0100 |
haftmann |
spelling
|
file |
diff |
annotate
|
Sat, 12 Mar 2016 22:04:52 +0100 |
haftmann |
model characters directly as range 0..255
|
file |
diff |
annotate
|
Thu, 10 Mar 2016 22:21:01 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Thu, 10 Mar 2016 12:11:50 +0100 |
wenzelm |
isabelle_process is superseded by "isabelle process" tool;
|
file |
diff |
annotate
|
Wed, 09 Mar 2016 21:01:22 +0100 |
wenzelm |
merged
|
file |
diff |
annotate
|
Tue, 08 Mar 2016 20:02:46 +0100 |
wenzelm |
back to external line editor, due to problems of JLine with multithreading of in vs. out;
|
file |
diff |
annotate
|
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
|