| 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
|
| Thu, 26 Sep 2013 23:26:51 +0200 |
wenzelm |
proper regexp;
|
file |
diff |
annotate
|
| 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);
|
file |
diff |
annotate
|
| 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);
|
file |
diff |
annotate
|
| Wed, 25 Sep 2013 15:40:34 +0200 |
wenzelm |
include MacOSX plugin by default -- disabled by default to avoid multiplatform confusion;
|
file |
diff |
annotate
|
| Thu, 12 Sep 2013 15:37:09 +0200 |
wenzelm |
generate distribution classpath for cold-start application wrappers;
|
file |
diff |
annotate
|
| Mon, 09 Sep 2013 17:28:08 +0200 |
wenzelm |
proper apple.awt.application.name for Java 7;
|
file |
diff |
annotate
|
| 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);
|
file |
diff |
annotate
|
| Mon, 09 Sep 2013 14:48:16 +0200 |
wenzelm |
override potential changes in $ISABELLE_HOME_USER/etc/settings;
|
file |
diff |
annotate
|
| 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);
|
file |
diff |
annotate
|
| 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);
|
file |
diff |
annotate
|
| Sun, 08 Sep 2013 18:37:42 +0200 |
wenzelm |
more official lib/logo/isabelle.bmp;
|
file |
diff |
annotate
|
| Sun, 08 Sep 2013 18:10:12 +0200 |
wenzelm |
use windows_app based on WinRun4J;
|
file |
diff |
annotate
|
| Sat, 07 Sep 2013 18:37:25 +0200 |
wenzelm |
imitate "isabelle java" and "isabelle jedit" wrt. classpath and options (see also a221a4fdb5a0);
|
file |
diff |
annotate
|
| Sat, 07 Sep 2013 18:24:24 +0200 |
wenzelm |
generate application wrapper for Linux;
|
file |
diff |
annotate
|
| Thu, 05 Sep 2013 20:37:24 +0200 |
wenzelm |
provide file indicator;
|
file |
diff |
annotate
|
| Thu, 05 Sep 2013 16:39:01 +0200 |
wenzelm |
standardize jdk name;
|
file |
diff |
annotate
|
| Tue, 16 Jul 2013 20:23:05 +0200 |
wenzelm |
overwrite target;
|
file |
diff |
annotate
|
| Tue, 16 Jul 2013 18:28:45 +0200 |
wenzelm |
fully-automated packaging (requires Mac OS X);
|
file |
diff |
annotate
|
| Tue, 16 Jul 2013 13:44:52 +0200 |
wenzelm |
dispose intermediate 7z archive;
|
file |
diff |
annotate
|
| Tue, 16 Jul 2013 13:23:37 +0200 |
wenzelm |
more robust executable path specifications;
|
file |
diff |
annotate
|
| Tue, 16 Jul 2013 12:25:59 +0200 |
wenzelm |
build Windows application on the spot, using Unix tools;
|
file |
diff |
annotate
|
| Mon, 15 Jul 2013 23:07:23 +0200 |
wenzelm |
produce 7z archive for windows and preserve symlinks separately;
|
file |
diff |
annotate
|
| Mon, 08 Jul 2013 21:00:16 +0200 |
wenzelm |
allow whitespace in file names;
|
file |
diff |
annotate
|
| Sat, 06 Jul 2013 22:11:18 +0200 |
wenzelm |
more release notes according to availability in proper release vs. repository clone;
|
file |
diff |
annotate
|
| Tue, 02 Jul 2013 17:10:44 +0200 |
wenzelm |
postinstall: recover Cygwin permissions;
|
file |
diff |
annotate
|
| Mon, 28 Jan 2013 12:25:29 +0100 |
wenzelm |
separate makedist_bundle for each platform family, which is more useful for manual use;
|
file |
diff |
annotate
| base
|