| 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
|
| Mon, 26 Sep 2016 07:56:53 +0200 |
haftmann |
spelling
|
file |
diff |
annotate
|
| Thu, 22 Sep 2016 11:25:27 +0200 |
wenzelm |
discontinued raw symbols;
|
file |
diff |
annotate
|
| Thu, 22 Sep 2016 00:12:17 +0200 |
wenzelm |
raw control symbols are superseded by Latex.embed_raw;
|
file |
diff |
annotate
|
| Wed, 21 Sep 2016 22:43:06 +0200 |
wenzelm |
more general mixfix delimiters;
|
file |
diff |
annotate
|
| Tue, 20 Sep 2016 14:51:58 +0200 |
eberlm |
NEWS: Normalized_Fraction.thy
|
file |
diff |
annotate
|
| Mon, 19 Sep 2016 23:14:34 +0200 |
kuncar |
resolve the name clash of HOL/Library/FSet and HOL/Quotient_Examples/FSet
|
file |
diff |
annotate
|