| Sat, 22 Oct 2016 12:34:58 +0200 |
wenzelm |
regular user tool;
|
file |
diff |
annotate
|
| Thu, 20 Oct 2016 19:39:27 +0200 |
nipkow |
tuned
|
file |
diff |
annotate
|
| Tue, 18 Oct 2016 16:04:44 +0200 |
nipkow |
NEWS
|
file |
diff |
annotate
|
| Wed, 19 Oct 2016 14:43:11 +0200 |
wenzelm |
merged
|
file |
diff |
annotate
|
| Wed, 19 Oct 2016 14:42:28 +0200 |
wenzelm |
added system option "profiling";
|
file |
diff |
annotate
|
| Tue, 18 Oct 2016 18:48:53 +0200 |
haftmann |
suitable logical type class for abs, sgn
|
file |
diff |
annotate
|
| Mon, 17 Oct 2016 19:55:56 +0200 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| Mon, 17 Oct 2016 15:00:46 +0200 |
wenzelm |
re-use "threads" for --gcthreads;
|
file |
diff |
annotate
|
| Sun, 16 Oct 2016 22:43:51 +0200 |
wenzelm |
isabelle build -N;
|
file |
diff |
annotate
|
| Sun, 16 Oct 2016 09:31:06 +0200 |
haftmann |
eliminated irregular aliasses
|
file |
diff |
annotate
|
| Sun, 16 Oct 2016 09:31:05 +0200 |
haftmann |
clarified theorem names
|
file |
diff |
annotate
|
| Sun, 16 Oct 2016 09:31:05 +0200 |
haftmann |
eliminated irregular aliasses
|
file |
diff |
annotate
|
| Sun, 16 Oct 2016 09:31:05 +0200 |
haftmann |
more standardized theorem names for facts involving the div and mod identity
|
file |
diff |
annotate
|
| Sun, 16 Oct 2016 09:31:04 +0200 |
haftmann |
more standardized names
|
file |
diff |
annotate
|
| Mon, 10 Oct 2016 15:45:41 +0100 |
paulson |
invariance of domain
|
file |
diff |
annotate
|
| Sat, 08 Oct 2016 14:09:53 +0200 |
haftmann |
dedicated syntax for types with a length
|
file |
diff |
annotate
|
| Sat, 08 Oct 2016 13:50:25 +0200 |
fleury |
clarifying NEWS file
|
file |
diff |
annotate
|
| Fri, 07 Oct 2016 17:58:36 +0200 |
fleury |
tuning multisets
|
file |
diff |
annotate
|
| Fri, 07 Oct 2016 10:45:21 +0200 |
eberlm |
Set_Permutations -> Multiset_Permutations in NEWS
|
file |
diff |
annotate
|
| Fri, 07 Oct 2016 10:31:34 +0200 |
wenzelm |
moved to proper release (cf. 4a72b37ac4b8);
|
file |
diff |
annotate
|
| Fri, 07 Oct 2016 10:23:50 +0200 |
wenzelm |
updated for release;
|
file |
diff |
annotate
|
| Mon, 03 Oct 2016 14:34:31 +0200 |
haftmann |
option to report results of solve_direct as explicit warnings
|
file |
diff |
annotate
|
| Sun, 02 Oct 2016 17:05:48 +0200 |
wenzelm |
added isabelle_java cold-start executable;
|
file |
diff |
annotate
|
| Sun, 02 Oct 2016 12:29:18 +0200 |
wenzelm |
just one option is enough -- "isabelle jedit" java process may be prefixed directly in the shell;
|
file |
diff |
annotate
|
| Sat, 01 Oct 2016 23:05:25 +0200 |
wenzelm |
options for process policy, notably for multiprocessor machines;
|
file |
diff |
annotate
|
| Sat, 01 Oct 2016 17:16:35 +0200 |
wenzelm |
clarified lfp/gfp statements and proofs;
|
file |
diff |
annotate
|
| Sat, 01 Oct 2016 12:03:27 +0200 |
wenzelm |
misc tuning for release;
|
file |
diff |
annotate
|
| Fri, 30 Sep 2016 14:05:51 +0100 |
paulson |
new material on paths, etc. Also rationalisation
|
file |
diff |
annotate
|
| Thu, 29 Sep 2016 20:54:45 +0200 |
boehmes |
NEWS: new proof method "argo"
|
file |
diff |
annotate
|
| Mon, 26 Sep 2016 07:56:54 +0200 |
haftmann |
syntactic type class for operation mod named after mod;
|
file |
diff |
annotate
|