| Sun, 29 Apr 2012 19:03:57 +0200 |
wenzelm |
more windows-friendly presentation of main text files;
|
file |
diff |
annotate
|
| Wed, 25 Apr 2012 17:15:10 +0200 |
wenzelm |
register polyml executables so that Cygwin rebaseall will see them;
|
file |
diff |
annotate
|
| Wed, 25 Apr 2012 10:59:06 +0200 |
wenzelm |
move polyml within Cygwin /usr/local to simplify its rebasing;
|
file |
diff |
annotate
|
| Tue, 24 Apr 2012 13:33:10 +0200 |
wenzelm |
augment Isabelle home directory more systematically;
|
file |
diff |
annotate
|
| Mon, 23 Apr 2012 23:50:27 +0200 |
wenzelm |
bundle Cygwin-Terminal.bat;
|
file |
diff |
annotate
|
| Mon, 23 Apr 2012 16:30:43 +0200 |
wenzelm |
avoid conflict of Isabelle vs. Isabelle.exe on Cygwin;
|
file |
diff |
annotate
|
| Sun, 22 Apr 2012 23:08:53 +0200 |
wenzelm |
bundle Isabelle.exe;
|
file |
diff |
annotate
|
| Tue, 17 Apr 2012 20:48:07 +0200 |
wenzelm |
accomodate ProofGeneral as Isabelle component, with adhoc version switch for Cygwin as before;
|
file |
diff |
annotate
|
| Sun, 18 Sep 2011 13:56:06 +0200 |
wenzelm |
tweak keyboard shortcuts for Mac OS X;
|
file |
diff |
annotate
|
| Sat, 17 Sep 2011 16:53:01 +0200 |
wenzelm |
specific bundle for x86_64-linux, which is especially important for JRE due to its extra library dependencies;
|
file |
diff |
annotate
|
| Wed, 07 Sep 2011 22:00:41 +0200 |
wenzelm |
platform-specific look and feel;
|
file |
diff |
annotate
|
| Sun, 30 Jan 2011 20:47:26 +0100 |
wenzelm |
delete .elc files unconditionally -- they cause too many incompatibilities;
|
file |
diff |
annotate
|
| Mon, 24 Jan 2011 15:39:42 +0100 |
wenzelm |
delete compiled .elc files to improve portability on Linux, notably for GNU Emacs 23.1.x instead of 23.2.x;
|
file |
diff |
annotate
|
| Wed, 19 Jan 2011 15:18:03 +0100 |
wenzelm |
Cygwin: back to ProofGeneral-3.7.1.1 with XEmacs, since PG 4.x with GNU Emacs 23 is painfully slow;
|
file |
diff |
annotate
|
| Fri, 14 Jan 2011 18:23:39 +0100 |
wenzelm |
updated for release;
|
file |
diff |
annotate
|
| Mon, 07 Jun 2010 17:50:57 +0200 |
wenzelm |
proper target directory;
|
file |
diff |
annotate
|
| Sun, 06 Jun 2010 18:47:29 +0200 |
wenzelm |
single heaps archive;
|
file |
diff |
annotate
|
| Fri, 04 Jun 2010 16:47:36 +0200 |
wenzelm |
one all-inclusive bundle for each platform;
|
file |
diff |
annotate
|
| Fri, 27 Nov 2009 00:11:56 +0100 |
wenzelm |
re-package Isabelle distribution with add-on components;
|
file |
diff |
annotate
|