| Sun, 09 Apr 2017 20:53:55 +0200 |
wenzelm |
more robust: user could provide name with "/" etc.;
|
file |
diff |
annotate
|
| Tue, 07 Mar 2017 13:55:49 +0100 |
wenzelm |
added admin tool "isabelle build_vscode";
|
file |
diff |
annotate
|
| Tue, 28 Feb 2017 19:50:08 +0100 |
wenzelm |
proper Isabelle/Scala tool;
|
file |
diff |
annotate
|
| Sun, 22 Jan 2017 00:30:10 +0100 |
wenzelm |
build_jdk in Scala;
|
file |
diff |
annotate
|
| Sat, 14 Jan 2017 20:33:55 +0100 |
wenzelm |
build docker image from Isabelle application bundle for Linux;
|
file |
diff |
annotate
|
| Wed, 11 Jan 2017 16:01:19 +0100 |
wenzelm |
generated configuration for Prettify Symbols Mode;
|
file |
diff |
annotate
|
| Sun, 01 Jan 2017 23:19:34 +0100 |
wenzelm |
generate static TextMate grammar for VSCode editor;
|
file |
diff |
annotate
|
| Mon, 19 Dec 2016 20:27:49 +0100 |
wenzelm |
basic support for VSCode Language Server protocol;
|
file |
diff |
annotate
|
| Sat, 12 Nov 2016 10:29:01 +0100 |
wenzelm |
back to regular Isabelle tool (reverting abc34a149690);
|
file |
diff |
annotate
|
| Fri, 11 Nov 2016 11:41:14 +0100 |
wenzelm |
prefer raw Admin tool, without Isabelle settings environment;
|
file |
diff |
annotate
|
| Thu, 10 Nov 2016 22:06:36 +0100 |
wenzelm |
build_polyml in Scala;
|
file |
diff |
annotate
|
| Mon, 24 Oct 2016 12:01:36 +0200 |
wenzelm |
proper Admin tool;
|
file |
diff |
annotate
|
| Wed, 19 Oct 2016 17:03:44 +0200 |
wenzelm |
proper isabelle tool in Scala;
|
file |
diff |
annotate
|
| Tue, 18 Oct 2016 16:03:30 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Wed, 12 Oct 2016 10:22:34 +0200 |
wenzelm |
explicit indication of Admin tools;
|
file |
diff |
annotate
|
| Tue, 11 Oct 2016 11:30:02 +0200 |
wenzelm |
added isabelle remote_dmg tool;
|
file |
diff |
annotate
|
| Sat, 13 Aug 2016 23:45:29 +0200 |
wenzelm |
gnuplot presentation similar to former isatest-statistics;
|
file |
diff |
annotate
|
| Sun, 17 Jul 2016 11:47:35 +0200 |
Lars Hupel |
more precise error information for dynamic Scala tools
|
file |
diff |
annotate
|
| Fri, 03 Jun 2016 22:27:01 +0200 |
wenzelm |
support for .scala tools;
|
file |
diff |
annotate
|
| Tue, 12 Apr 2016 15:00:26 +0200 |
wenzelm |
simplified -- avoid odd mutable state, which potentially causes problems with module initialization;
|
file |
diff |
annotate
|
| Sun, 03 Apr 2016 23:16:13 +0200 |
wenzelm |
prefer internal tool;
|
file |
diff |
annotate
|
| Sun, 03 Apr 2016 23:01:39 +0200 |
wenzelm |
prefer internal tool;
|
file |
diff |
annotate
|
| Sun, 03 Apr 2016 22:54:31 +0200 |
wenzelm |
prefer internal tool -- assuming that ISABELLE_TMP_PREFIX is created properly by Isabelle_System.isabelle_tmp_prefix;
|
file |
diff |
annotate
|
| Sun, 03 Apr 2016 22:45:40 +0200 |
wenzelm |
prefer internal tool;
|
file |
diff |
annotate
|
| Sun, 03 Apr 2016 22:42:15 +0200 |
wenzelm |
prefer internal tool;
|
file |
diff |
annotate
|
| Sun, 03 Apr 2016 22:36:11 +0200 |
wenzelm |
prefer internal tool;
|
file |
diff |
annotate
|
| Sun, 03 Apr 2016 22:31:16 +0200 |
wenzelm |
prefer internal tool;
|
file |
diff |
annotate
|
| Sun, 03 Apr 2016 22:15:40 +0200 |
wenzelm |
support for internal tools;
|
file |
diff |
annotate
|
| Sun, 03 Apr 2016 21:32:57 +0200 |
wenzelm |
clarified Isabelle tool wrapper: bash, Scala, no perl, no ML;
|
file |
diff |
annotate
|