| Tue, 08 Sep 2015 11:44:15 +0200 |
wenzelm |
clarified ISABELLE_BUILD_JAVA_OPTIONS;
|
file |
diff |
annotate
|
| Fri, 17 Apr 2015 11:28:57 +0200 |
wenzelm |
allow to exclude session groups;
|
file |
diff |
annotate
|
| Wed, 01 Apr 2015 16:24:38 +0200 |
wenzelm |
added isabelle build option -x, to exclude sessions;
|
file |
diff |
annotate
|
| Wed, 01 Apr 2015 15:41:08 +0200 |
wenzelm |
added isabelle build option -k, for fast off-line checking of theory sources;
|
file |
diff |
annotate
|
| Mon, 23 Feb 2015 15:04:12 +0100 |
wenzelm |
more uniform headless mode for all derivatives of "build" (amending df5dc24ca712);
|
file |
diff |
annotate
|
| Wed, 28 Jan 2015 22:50:00 +0100 |
wenzelm |
explicit headless mode for machines that lack X11 (e.g. lxbroy10);
|
file |
diff |
annotate
|
| Wed, 07 May 2014 10:13:31 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 25 Jun 2013 11:41:16 +0200 |
wenzelm |
more formal isabelle_admin_build;
|
file |
diff |
annotate
|
| Fri, 17 May 2013 19:04:52 +0200 |
wenzelm |
added isabelle-process option -o;
|
file |
diff |
annotate
|
| Tue, 14 May 2013 12:21:35 +0200 |
wenzelm |
more generous java resources via ISABELLE_BUILD_JAVA_OPTIONS;
|
file |
diff |
annotate
|
| Wed, 05 Dec 2012 14:13:47 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 04 Sep 2012 20:45:43 +0200 |
wenzelm |
added build option -R;
|
file |
diff |
annotate
|
| Thu, 23 Aug 2012 13:26:27 +0200 |
wenzelm |
added build option -l (list files);
|
file |
diff |
annotate
|
| Sun, 12 Aug 2012 19:08:27 +0200 |
wenzelm |
always show some timing information, to reduce the need for explicit -v;
|
file |
diff |
annotate
|
| Wed, 08 Aug 2012 15:58:40 +0200 |
wenzelm |
added build option -D: include session directory and select its sessions;
|
file |
diff |
annotate
|
| Mon, 30 Jul 2012 13:48:56 +0200 |
wenzelm |
less verbosity;
|
file |
diff |
annotate
|
| Mon, 30 Jul 2012 12:03:48 +0200 |
wenzelm |
added build option -c;
|
file |
diff |
annotate
|
| Mon, 30 Jul 2012 11:03:44 +0200 |
wenzelm |
removed build option -f (cf. a125b8040ada), due to slightly inconvenient behaviour on ancestors;
|
file |
diff |
annotate
|
| Sun, 29 Jul 2012 21:40:46 +0200 |
wenzelm |
added build option -f;
|
file |
diff |
annotate
|
| Sat, 28 Jul 2012 15:21:49 +0200 |
wenzelm |
some description of isabelle build;
|
file |
diff |
annotate
|
| Fri, 27 Jul 2012 23:14:55 +0200 |
wenzelm |
tuned message;
|
file |
diff |
annotate
|
| Fri, 27 Jul 2012 13:17:12 +0200 |
wenzelm |
tuned messages;
|
file |
diff |
annotate
|
| Fri, 27 Jul 2012 13:15:12 +0200 |
wenzelm |
fewer options;
|
file |
diff |
annotate
|
| Thu, 26 Jul 2012 12:59:09 +0200 |
wenzelm |
remove old output heaps, to ensure that result is valid wrt. check_stamps;
|
file |
diff |
annotate
|
| Thu, 26 Jul 2012 12:27:47 +0200 |
wenzelm |
support session groups;
|
file |
diff |
annotate
|
| Tue, 24 Jul 2012 13:22:06 +0200 |
wenzelm |
tuned messages (cf. isabelle makeall);
|
file |
diff |
annotate
|
| Tue, 24 Jul 2012 12:28:20 +0200 |
wenzelm |
clarified build -n (no build);
|
file |
diff |
annotate
|
| Tue, 24 Jul 2012 10:39:03 +0200 |
wenzelm |
timing is command line options, not system option;
|
file |
diff |
annotate
|
| Mon, 23 Jul 2012 15:59:14 +0200 |
wenzelm |
added system build mode: produce output in ISABELLE_HOME;
|
file |
diff |
annotate
|
| Sun, 22 Jul 2012 23:31:57 +0200 |
wenzelm |
parallel scheduling of jobs;
|
file |
diff |
annotate
|
| Wed, 18 Jul 2012 19:47:10 +0200 |
wenzelm |
allow explicit specification of additional session directories;
|
file |
diff |
annotate
|
| Tue, 17 Jul 2012 15:56:19 +0200 |
wenzelm |
basic setup for Isabelle build tool;
|
file |
diff |
annotate
|