| Fri, 10 May 2019 10:41:38 +0200 |
wenzelm |
more documentation;
|
file |
diff |
annotate
|
| Thu, 09 May 2019 16:40:58 +0200 |
wenzelm |
more NEWS;
|
file |
diff |
annotate
|
| Fri, 03 May 2019 20:04:42 +0200 |
haftmann |
more NEWS
|
file |
diff |
annotate
|
| Tue, 30 Apr 2019 11:57:45 +0100 |
paulson |
Algebraic closure: moving more theorems into their rightful places
|
file |
diff |
annotate
|
| Tue, 16 Apr 2019 19:50:20 +0000 |
haftmann |
eliminated type class
|
file |
diff |
annotate
|
| Tue, 16 Apr 2019 19:50:19 +0000 |
haftmann |
entry point for comprehensive word library
|
file |
diff |
annotate
|
| Tue, 16 Apr 2019 20:00:14 +0200 |
wenzelm |
tuned for release;
|
file |
diff |
annotate
|
| Sun, 14 Apr 2019 13:32:26 +0100 |
paulson |
Group theory developments towards proving algebraic closure (by de Vilhena and Baillon)
|
file |
diff |
annotate
|
| Sat, 13 Apr 2019 13:30:02 +0200 |
wenzelm |
more abbrevs;
|
file |
diff |
annotate
|
| Fri, 12 Apr 2019 22:57:17 +0200 |
wenzelm |
updated documentation;
|
file |
diff |
annotate
|
| Thu, 11 Apr 2019 16:49:55 +0100 |
paulson |
merged
|
file |
diff |
annotate
|
| Thu, 11 Apr 2019 15:26:04 +0100 |
paulson |
type instantiations for poly_mapping as a real_normed_vector
|
file |
diff |
annotate
|
| Thu, 11 Apr 2019 16:43:02 +0200 |
wenzelm |
strip cartouches from arguments of "embedded" document antiquotations, corresponding to automated update via "isabelle update -u control_cartouches" -- e.g. relevant for documents with thy_output_source (e.g. doc "isar-ref", "jedit", "system");
|
file |
diff |
annotate
|
| Thu, 11 Apr 2019 15:44:06 +0200 |
wenzelm |
added document antiquotation option "cartouche";
|
file |
diff |
annotate
|
| Wed, 10 Apr 2019 15:45:16 +0200 |
wenzelm |
merged
|
file |
diff |
annotate
|