Admin/lib/Tools/makedist_bundle
Wed, 12 Oct 2016 22:38:50 +0200 wenzelm tuned;
Wed, 12 Oct 2016 22:38:11 +0200 wenzelm special case for local contrib, e.g. lxbroy10;
Tue, 11 Oct 2016 17:00:20 +0200 wenzelm tuned;
Tue, 11 Oct 2016 14:23:43 +0200 wenzelm makedist_bundle works on Linux as well: build dmg on remote Mac;
Fri, 16 Sep 2016 17:12:39 +0200 wenzelm consolidate implicit use of gnutar, via somewhat fragile dynamic scoping within existing shell scripts;
Thu, 14 Jul 2016 12:20:20 +0200 wenzelm prefer curl: presumably more portable and versatile;
Tue, 26 Apr 2016 21:46:12 +0200 wenzelm more portable: GNU find no longer supports "-perm +mode";
Wed, 13 Jan 2016 15:46:21 +0100 wenzelm proper relative symlink;
Thu, 07 Jan 2016 16:50:52 +0100 wenzelm more uniform treatment of symblinks: avoid confusion when unpacking .tar.gz bundle with NTFS links;
Sat, 02 Jan 2016 18:46:36 +0100 wenzelm tuned;
Sat, 02 Jan 2016 16:15:28 +0100 wenzelm avoid downloading contrib again;
Sat, 02 Jan 2016 15:18:38 +0100 wenzelm provide server name uniformly on all platforms;
Fri, 01 Jan 2016 22:13:24 +0100 wenzelm keep platform bundle for reference, e.g. for headless installation;
Fri, 01 Jan 2016 19:52:00 +0100 wenzelm keep generic archive for all platforms -- required for Admin/Release/build_library;
Tue, 27 Oct 2015 22:19:56 +0100 wenzelm removed presumably obsolete workaround (see 7924d61b50cf);
Wed, 16 Sep 2015 21:26:37 +0200 wenzelm more explicit indication of bundled jdk, which is required for newer versions of JavaAppLauncher;
Fri, 11 Sep 2015 21:27:23 +0200 wenzelm single-instance application on Windows;
Thu, 10 Sep 2015 14:18:09 +0200 wenzelm convenient access to application properties;
Tue, 08 Sep 2015 15:37:13 +0200 wenzelm clarified Java runtime options for 32 vs. 64 bit;
Tue, 08 Sep 2015 13:40:37 +0200 wenzelm clarified JEDIT_JAVA_SYSTEM_OPTIONS;
Wed, 26 Aug 2015 16:34:34 +0200 wenzelm tuned;
Fri, 21 Aug 2015 20:58:23 +0200 wenzelm clarified linux application bundle;
Fri, 21 Aug 2015 20:18:52 +0200 wenzelm separate bundle for windows64;
Fri, 21 Aug 2015 17:53:10 +0200 wenzelm proper classpath for launcher;
Fri, 21 Aug 2015 15:02:42 +0200 wenzelm updated to recent launch4j 3.8;
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;
Mon, 27 Oct 2014 20:20:53 +0100 wenzelm JRE is sufficient for official release -- javac and jar are only needed for self-build;
Tue, 21 Oct 2014 22:18:06 +0200 wenzelm foldPainter like Windows L&F;
Fri, 08 Aug 2014 22:05:02 +0200 wenzelm application manifest for Windows 8/8.1 dpi scaling;
Fri, 25 Jul 2014 14:47:38 +0200 wenzelm proper volume name, such that background image is found in /Volumes/Isabelle/.background;
Fri, 25 Jul 2014 14:13:19 +0200 wenzelm setup for drag-and-drop DMG;
Mon, 30 Jun 2014 10:53:37 +0200 wenzelm ProofGeneral-4.2-2 is optional component (including the traditional helper scripts);
Sat, 24 May 2014 20:24:43 +0200 wenzelm support for regular Windows TeX installation;
Sat, 19 Apr 2014 17:33:51 +0200 wenzelm obsolete for release;
Thu, 05 Dec 2013 17:58:03 +0100 wenzelm merged, resolving obvious conflicts in NEWS and src/Pure/System/isabelle_process.ML;
Sun, 01 Dec 2013 14:09:33 +0100 wenzelm specific application name for official bundle (as for Mac OS X);
Mon, 11 Nov 2013 21:28:08 +0100 wenzelm simplified App template;
Mon, 07 Oct 2013 22:19:08 +0200 wenzelm native executable for Linux (see Admin/Linux);
Thu, 26 Sep 2013 23:26:51 +0200 wenzelm proper regexp;
Thu, 26 Sep 2013 21:39:10 +0200 wenzelm workaround for action-bar shortcut on Mac OS X L&F: avoid EnhancedMenuItem.setAccelerator which causes conflict with regular key handling and thus double invocation -- see also jEdit.actionContext (if actionBarVisible view.removeToolBar);
Thu, 26 Sep 2013 12:56:59 +0200 wenzelm prefer GNU tar for Isabelle to avoid odd extended header keywords produced by Apple's bsdtar (see also 8f6046b7f850);
Wed, 25 Sep 2013 15:40:34 +0200 wenzelm include MacOSX plugin by default -- disabled by default to avoid multiplatform confusion;
Thu, 12 Sep 2013 15:37:09 +0200 wenzelm generate distribution classpath for cold-start application wrappers;
Mon, 09 Sep 2013 17:28:08 +0200 wenzelm proper apple.awt.application.name for Java 7;
Mon, 09 Sep 2013 17:02:06 +0200 wenzelm generate application Info.plist based on $ISABELLE_JAVA_SYSTEM_OPTIONS $JEDIT_JAVA_OPTIONS $JEDIT_SYSTEM_OPTIONS at build time (see also lib/Tools/java and src/Tools/jEdit/lib/Tools/jedit);
Mon, 09 Sep 2013 14:48:16 +0200 wenzelm override potential changes in $ISABELLE_HOME_USER/etc/settings;
Mon, 09 Sep 2013 14:22:39 +0200 wenzelm generate application ini based on $ISABELLE_JAVA_SYSTEM_OPTIONS $JEDIT_JAVA_OPTIONS $JEDIT_SYSTEM_OPTIONS at build time (see also lib/Tools/java and src/Tools/jEdit/lib/Tools/jedit);
Mon, 09 Sep 2013 13:48:06 +0200 wenzelm generate application based on $JEDIT_JAVA_OPTIONS $JEDIT_SYSTEM_OPTIONS at build time (see also src/Tools/jEdit/lib/Tools/jedit);
Sun, 08 Sep 2013 18:37:42 +0200 wenzelm more official lib/logo/isabelle.bmp;
Sun, 08 Sep 2013 18:10:12 +0200 wenzelm use windows_app based on WinRun4J;
Sat, 07 Sep 2013 18:37:25 +0200 wenzelm imitate "isabelle java" and "isabelle jedit" wrt. classpath and options (see also a221a4fdb5a0);
Sat, 07 Sep 2013 18:24:24 +0200 wenzelm generate application wrapper for Linux;
Thu, 05 Sep 2013 20:37:24 +0200 wenzelm provide file indicator;
Thu, 05 Sep 2013 16:39:01 +0200 wenzelm standardize jdk name;
Tue, 16 Jul 2013 20:23:05 +0200 wenzelm overwrite target;
Tue, 16 Jul 2013 18:28:45 +0200 wenzelm fully-automated packaging (requires Mac OS X);
Tue, 16 Jul 2013 13:44:52 +0200 wenzelm dispose intermediate 7z archive;
Tue, 16 Jul 2013 13:23:37 +0200 wenzelm more robust executable path specifications;
Tue, 16 Jul 2013 12:25:59 +0200 wenzelm build Windows application on the spot, using Unix tools;
Mon, 15 Jul 2013 23:07:23 +0200 wenzelm produce 7z archive for windows and preserve symlinks separately;
less more (0) -60 tip