| Sun, 07 Feb 2021 20:44:44 +0100 |
wenzelm |
updated for release;
|
file |
diff |
annotate
|
| Wed, 03 Feb 2021 20:18:34 +0100 |
wenzelm |
clarified links to external files, e.g. .pdf within .thy source document;
|
file |
diff |
annotate
|
| Tue, 26 Jan 2021 23:34:40 +0100 |
wenzelm |
more NEWS;
|
file |
diff |
annotate
|
| Fri, 22 Jan 2021 18:44:34 +0100 |
wenzelm |
IDE support for Naproche-SAD;
|
file |
diff |
annotate
|
| Thu, 21 Jan 2021 16:10:43 +0100 |
wenzelm |
support isabelle components -u and -x;
|
file |
diff |
annotate
|
| Tue, 19 Jan 2021 14:14:23 +0100 |
wenzelm |
clarified documentation concerning macOS Big Sur;
|
file |
diff |
annotate
|
| Mon, 18 Jan 2021 20:11:42 +0100 |
wenzelm |
obsolete;
|
file |
diff |
annotate
|
| Mon, 18 Jan 2021 19:53:20 +0100 |
wenzelm |
more NEWS;
|
file |
diff |
annotate
|
| Sun, 17 Jan 2021 11:19:15 +0100 |
wenzelm |
revert 1105c42722dc on isabelle-release branch;
|
file |
diff |
annotate
|
| Sun, 10 Jan 2021 15:48:15 +0100 |
wenzelm |
back to post-release mode;
|
file |
diff |
annotate
|
| Sun, 10 Jan 2021 15:35:24 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sun, 10 Jan 2021 13:17:27 +0100 |
wenzelm |
more documentation;
|
file |
diff |
annotate
|
| Sat, 09 Jan 2021 19:49:22 +0100 |
wenzelm |
clarified default L&F of Isabelle/Scala (not Isabelle/jEdit);
|
file |
diff |
annotate
|
| Sat, 09 Jan 2021 00:11:52 +0100 |
wenzelm |
clarified default L&F;
|
file |
diff |
annotate
|
| Fri, 08 Jan 2021 19:53:44 +0100 |
Manuel Eberl |
HOL-Data_Structures: added Selection and time functions for list functions
|
file |
diff |
annotate
|