| Tue, 03 Jul 2012 22:09:23 +0200 |
haftmann |
prefer hook in Admin/ to initialize components
|
file |
diff |
annotate
|
| Tue, 03 Jul 2012 21:51:16 +0200 |
haftmann |
corrected: avoid shadowing of variable
|
file |
diff |
annotate
|
| Wed, 27 Jun 2012 07:29:32 +0200 |
haftmann |
corrected name of components file
|
file |
diff |
annotate
|
| Sat, 23 Jun 2012 20:34:21 +0200 |
haftmann |
more standard filename for common components
|
file |
diff |
annotate
|
| Wed, 09 May 2012 11:24:38 +0200 |
bulwahn |
build Pure_64 with new settings
|
file |
diff |
annotate
|
| Wed, 09 May 2012 11:17:54 +0200 |
bulwahn |
tuned
|
file |
diff |
annotate
|
| Wed, 09 May 2012 10:39:54 +0200 |
bulwahn |
playing around with mira settings
|
file |
diff |
annotate
|
| Wed, 25 Apr 2012 14:19:53 +0200 |
wenzelm |
ISABELLE_JDK_HOME is already provided by isatest shell environment;
|
file |
diff |
annotate
|
| Sun, 01 Apr 2012 21:12:04 +0200 |
krauss |
adapted Mira configuration to dd04c8173bb2.
|
file |
diff |
annotate
|
| Thu, 29 Mar 2012 08:59:56 +0200 |
haftmann |
educated guess to include jdk
|
file |
diff |
annotate
|
| Wed, 14 Mar 2012 17:40:00 +0100 |
haftmann |
rudimentary documentation test
|
file |
diff |
annotate
|
| Wed, 14 Mar 2012 15:24:51 +0100 |
haftmann |
rudimentary distribution build configuration
|
file |
diff |
annotate
|