Thu, 17 Jan 2013 18:23:10 +0100 |
wenzelm |
copy Cygwin-Latex-Setup.bat;
|
file |
diff |
annotate
|
Tue, 15 Jan 2013 12:30:23 +0100 |
wenzelm |
grand-unified Admin/Release/build script (excluding .app and .exe);
|
file |
diff |
annotate
|
Mon, 14 Jan 2013 21:37:42 +0100 |
wenzelm |
include /isabelle/rebaseall in autorebaseall, which is run after installation of further packages;
|
file |
diff |
annotate
|
Mon, 14 Jan 2013 20:12:18 +0100 |
wenzelm |
do not register quasi-components, notably cygwin;
|
file |
diff |
annotate
|
Sun, 13 Jan 2013 20:30:33 +0100 |
wenzelm |
some attempts to avoid "._" files on Mac OS X;
|
file |
diff |
annotate
|
Fri, 11 Jan 2013 13:23:51 +0100 |
wenzelm |
more standard contrib/cygwin location (again);
|
file |
diff |
annotate
|
Thu, 10 Jan 2013 21:20:14 +0100 |
wenzelm |
manage cygwin as bundled quasi-component;
|
file |
diff |
annotate
|
Thu, 10 Jan 2013 20:41:52 +0100 |
wenzelm |
outermost directory structure for Windows/Cygwin;
|
file |
diff |
annotate
|
Wed, 09 Jan 2013 22:29:13 +0100 |
wenzelm |
purge other platforms uniformly;
|
file |
diff |
annotate
|
Wed, 09 Jan 2013 21:24:16 +0100 |
wenzelm |
renamed tool;
|
file |
diff |
annotate
| base
|