| 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
|