Thu, 07 Jan 2016 16:50:52 +0100 |
wenzelm |
more uniform treatment of symblinks: avoid confusion when unpacking .tar.gz bundle with NTFS links;
|
file |
diff |
annotate
|
Sat, 02 Jan 2016 18:46:36 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Sat, 02 Jan 2016 16:15:28 +0100 |
wenzelm |
avoid downloading contrib again;
|
file |
diff |
annotate
|
Sat, 02 Jan 2016 15:18:38 +0100 |
wenzelm |
provide server name uniformly on all platforms;
|
file |
diff |
annotate
|
Fri, 01 Jan 2016 22:13:24 +0100 |
wenzelm |
keep platform bundle for reference, e.g. for headless installation;
|
file |
diff |
annotate
|
Fri, 01 Jan 2016 19:52:00 +0100 |
wenzelm |
keep generic archive for all platforms -- required for Admin/Release/build_library;
|
file |
diff |
annotate
|
Tue, 27 Oct 2015 22:19:56 +0100 |
wenzelm |
removed presumably obsolete workaround (see 7924d61b50cf);
|
file |
diff |
annotate
|
Wed, 16 Sep 2015 21:26:37 +0200 |
wenzelm |
more explicit indication of bundled jdk, which is required for newer versions of JavaAppLauncher;
|
file |
diff |
annotate
|
Fri, 11 Sep 2015 21:27:23 +0200 |
wenzelm |
single-instance application on Windows;
|
file |
diff |
annotate
|
Thu, 10 Sep 2015 14:18:09 +0200 |
wenzelm |
convenient access to application properties;
|
file |
diff |
annotate
|
Tue, 08 Sep 2015 15:37:13 +0200 |
wenzelm |
clarified Java runtime options for 32 vs. 64 bit;
|
file |
diff |
annotate
|
Tue, 08 Sep 2015 13:40:37 +0200 |
wenzelm |
clarified JEDIT_JAVA_SYSTEM_OPTIONS;
|
file |
diff |
annotate
|
Wed, 26 Aug 2015 16:34:34 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Fri, 21 Aug 2015 20:58:23 +0200 |
wenzelm |
clarified linux application bundle;
|
file |
diff |
annotate
|
Fri, 21 Aug 2015 20:18:52 +0200 |
wenzelm |
separate bundle for windows64;
|
file |
diff |
annotate
|
Fri, 21 Aug 2015 17:53:10 +0200 |
wenzelm |
proper classpath for launcher;
|
file |
diff |
annotate
|
Fri, 21 Aug 2015 15:02:42 +0200 |
wenzelm |
updated to recent launch4j 3.8;
|
file |
diff |
annotate
|
Sun, 12 Apr 2015 12:45:06 +0200 |
wenzelm |
autorebase.bat.done no longer exists in Cygwin 1.7.35 -- lets hope that its incremental rebasing works for us;
|
file |
diff |
annotate
|
Mon, 27 Oct 2014 20:20:53 +0100 |
wenzelm |
JRE is sufficient for official release -- javac and jar are only needed for self-build;
|
file |
diff |
annotate
|
Tue, 21 Oct 2014 22:18:06 +0200 |
wenzelm |
foldPainter like Windows L&F;
|
file |
diff |
annotate
|
Fri, 08 Aug 2014 22:05:02 +0200 |
wenzelm |
application manifest for Windows 8/8.1 dpi scaling;
|
file |
diff |
annotate
|
Fri, 25 Jul 2014 14:47:38 +0200 |
wenzelm |
proper volume name, such that background image is found in /Volumes/Isabelle/.background;
|
file |
diff |
annotate
|
Fri, 25 Jul 2014 14:13:19 +0200 |
wenzelm |
setup for drag-and-drop DMG;
|
file |
diff |
annotate
|
Mon, 30 Jun 2014 10:53:37 +0200 |
wenzelm |
ProofGeneral-4.2-2 is optional component (including the traditional helper scripts);
|
file |
diff |
annotate
|
Sat, 24 May 2014 20:24:43 +0200 |
wenzelm |
support for regular Windows TeX installation;
|
file |
diff |
annotate
|
Sat, 19 Apr 2014 17:33:51 +0200 |
wenzelm |
obsolete for release;
|
file |
diff |
annotate
|
Thu, 05 Dec 2013 17:58:03 +0100 |
wenzelm |
merged, resolving obvious conflicts in NEWS and src/Pure/System/isabelle_process.ML;
|
file |
diff |
annotate
|
Sun, 01 Dec 2013 14:09:33 +0100 |
wenzelm |
specific application name for official bundle (as for Mac OS X);
|
file |
diff |
annotate
|
Mon, 11 Nov 2013 21:28:08 +0100 |
wenzelm |
simplified App template;
|
file |
diff |
annotate
|
Mon, 07 Oct 2013 22:19:08 +0200 |
wenzelm |
native executable for Linux (see Admin/Linux);
|
file |
diff |
annotate
|