| Mon, 11 Dec 2023 16:18:42 +0100 |
repair settings ISABELLE_ISAC_TEST
|
file | diff | annotate |
| Fri, 01 Dec 2023 06:08:22 +0100 |
PIDE turn 13: rename ALL(?) code already handling Position.T from *_TEST to *_POS
|
file | diff | annotate |
| Sun, 18 Apr 2021 18:30:31 +0200 |
proper test sessions, but with remaining failures;
|
file | diff | annotate |
| Sun, 18 Apr 2021 16:11:38 +0200 |
disentangle Isabelle repository "isab" vs. ISAC repository "isa":
|
file | diff | annotate |
| Mon, 08 Mar 2021 09:35:14 +0100 |
Isabelle2020->21: define storage for installation-specific settings
|
file | diff | annotate |
| Mon, 08 Mar 2021 09:11:09 +0100 |
\----- start update Isabelle2020 --> Isabelle2021
|
file | diff | annotate |
| Wed, 23 Sep 2020 15:36:17 +0200 |
Isabelle2019->20: define storage for installation-specific settings
|
file | diff | annotate |
| Wed, 23 Sep 2020 15:18:07 +0200 |
\----- start update Isabelle2019 --> Isabelle2020
|
file | diff | annotate |
| Mon, 29 Jun 2020 17:33:47 +0200 |
repair etc/settings
|
file | diff | annotate |
| Mon, 29 Jun 2020 16:01:01 +0200 |
renamings for Isabelle WS
|
file | diff | annotate |
| Tue, 03 Sep 2019 17:12:03 +0200 |
Isabelle2018->19: define storage for installation-specific settings
|
file | diff | annotate |
| Tue, 03 Sep 2019 16:10:31 +0200 |
\----- start update Isabelle2018 --> Isabelle2019
|
file | diff | annotate |
| Fri, 05 Apr 2019 16:40:33 +0200 |
[-Test_Isac] test/../partial_fractions ok
|
file | diff | annotate |
| Thu, 04 Apr 2019 17:52:52 +0200 |
[-Test_Isac] code cleanup & tests from previous changeset
|
file | diff | annotate |
| Wed, 13 Mar 2019 17:33:07 +0100 |
.hgignore does NOT handle etc/settings; thus 1 repository can only serve 1 installation
|
file | diff | annotate |
| Thu, 07 Mar 2019 16:50:20 +0100 |
settings + version for isabisacREP: why does .hgignore NOT work?
|
file | diff | annotate |
| Thu, 07 Mar 2019 16:36:22 +0100 |
settings + version for isabisac333: why does .hgignore NOT work?
|
file | diff | annotate |
| Wed, 22 Aug 2018 15:42:55 +0200 |
Isabelle2017->18: specify root for ~/.isabelle/
|
file | diff | annotate |
| Wed, 22 Aug 2018 14:44:15 +0200 |
\----- start update Isabelle2017 --> Isabelle2018
|
file | diff | annotate |
| Sat, 20 Jan 2018 10:56:23 +0100 |
------ this is (again?) from original Isabelle2017
|
file | diff | annotate |
| Fri, 19 Jan 2018 15:09:44 +0100 |
------ specify root for ~/.isabelle/
|
file | diff | annotate |
| Fri, 19 Jan 2018 12:52:09 +0100 |
merged
|
file | diff | annotate |
| Fri, 19 Jan 2018 12:49:17 +0100 |
\----- start update Isabelle2015 --> Isabelle2017
|
file | diff | annotate |
| Thu, 18 Jan 2018 15:27:36 +0100 |
intermediate for "store the current working directory"
|
file | diff | annotate |
| Sat, 05 Dec 2015 16:09:41 +0100 |
switched from Isabelle2014 to Isabelle2015, intermediate state
|
file | diff | annotate |
| Mon, 22 Jun 2015 15:30:19 +0200 |
corrected settings of Isabelle2014/Isac
|
file | diff | annotate |
| Fri, 08 May 2015 12:57:56 +0200 |
separate isabisac form Isabelle2014
|
file | diff | annotate |
| Mon, 20 Apr 2015 14:18:40 +0200 |
update test/ to Isabelle2014 (~ updates of src/)
|
file | diff | annotate |
| Tue, 01 Jul 2014 14:05:05 +0200 |
more release notes;
|
file | diff | annotate |
| Mon, 30 Jun 2014 10:10:32 +0200 |
tuned comments;
|
file | diff | annotate |
| Mon, 30 Jun 2014 09:43:44 +0200 |
"isabelle tty" is superseded by "isabelle console";
|
file | diff | annotate |
| Wed, 23 Apr 2014 10:49:30 +0200 |
tuned options for scalac;
|
file | diff | annotate |
| Tue, 22 Apr 2014 23:01:59 +0200 |
updated to scala-2.11.0 with classpath provided by its etc/settings;
|
file | diff | annotate |
| Tue, 22 Apr 2014 22:27:29 +0200 |
no need to copy jars, after regular use of classpath in 793a429c63e7;
|
file | diff | annotate |
| Sat, 05 Apr 2014 19:07:05 +0200 |
proper settings instead of hard-wired information;
|
file | diff | annotate |
| Mon, 06 Jan 2014 19:42:52 +0100 |
misc tuning and clarification;
|
file | diff | annotate |
| Mon, 06 Jan 2014 17:33:23 +0100 |
tuned comments;
|
file | diff | annotate |
| Fri, 06 Dec 2013 22:50:47 +0100 |
generic $ISABELLE_OPEN;
|
file | diff | annotate |
| Fri, 06 Dec 2013 22:10:45 +0100 |
clarified "isabelle display" and 'display_drafts': re-use file and program instance, open asynchronously via desktop environment;
|
file | diff | annotate |
| Mon, 07 Oct 2013 13:42:33 +0200 |
prefer "fresh" open -- requires Lion / Mountain Lion;
|
file | diff | annotate |
| Wed, 02 Oct 2013 19:43:58 +0200 |
unset XMODIFIERS by default, in order to prevent total loss of key events seen on Fedora 18/19;
|
file | diff | annotate |
| Thu, 12 Sep 2013 13:48:17 +0200 |
clarified directory structure;
|
file | diff | annotate |
| Thu, 12 Sep 2013 13:23:54 +0200 |
maintain classpath in more elementary manner: turn ISABELLE_CLASSPATH into -classpath option, so that all jars are covered by sun.misc.Launcher.AppClassLoader (e.g. relevant for loading add-on resources);
|
file | diff | annotate |
| Sat, 31 Aug 2013 13:34:39 +0200 |
provide ISABELLE_JAVA_SYSTEM_OPTIONS via settings;
|
file | diff | annotate |
| Tue, 30 Jul 2013 15:45:01 +0200 |
tuned comments;
|
file | diff | annotate |
| Sat, 27 Jul 2013 22:20:25 +0200 |
discontinued historic document formats;
|
file | diff | annotate |
| Sat, 27 Jul 2013 21:43:12 +0200 |
discontinued ISABELLE_DOC_FORMAT;
|
file | diff | annotate |
| Sun, 07 Jul 2013 18:43:14 +0200 |
discontinued obsolete "isabelle print";
|
file | diff | annotate |
| Tue, 25 Jun 2013 20:38:06 +0200 |
prefer Safari for viewing PDF files, which appears to be better behaved than Preview concerning re-opening recent files (Mountain Lion);
|
file | diff | annotate |
| Fri, 17 May 2013 18:19:42 +0200 |
discontinued obsolete isabelle usedir, mkdir, make;
|
file | diff | annotate |
| Tue, 14 May 2013 12:21:35 +0200 |
more generous java resources via ISABELLE_BUILD_JAVA_OPTIONS;
|
file | diff | annotate |
| Sun, 12 May 2013 14:25:16 +0200 |
decentralized historic settings;
|
file | diff | annotate |
| Sat, 09 Mar 2013 18:22:20 +0100 |
accomodate encrypted file-system on linux;
|
file | diff | annotate |
| Sun, 25 Nov 2012 15:17:01 +0100 |
eval PDF_VIEWER/DVI_VIEWER command line, which allows additional quotes for program name, for example;
|
file | diff | annotate |
| Wed, 29 Aug 2012 20:16:22 +0200 |
provide polyml-5.4.1 as regular component;
|
file | diff | annotate |
| Fri, 17 Aug 2012 14:56:37 +0200 |
added "isabelle components" tool;
|
file | diff | annotate |
| Sat, 28 Jul 2012 13:11:58 +0200 |
discontinued special treatment of Proof General;
|
file | diff | annotate |
| Fri, 27 Jul 2012 16:27:26 +0200 |
proper shell variable;
|
file | diff | annotate |
| Tue, 24 Jul 2012 11:39:22 +0200 |
further imitation of ISABELLE_USEDIR_OPTIONS via options;
|
file | diff | annotate |
| Mon, 23 Jul 2012 16:16:10 +0200 |
tuned;
|
file | diff | annotate |