| Tue, 23 Feb 2021 23:00:08 +0100 | wenzelm | more on Isabelle_System.bash; | file | diff | annotate |
| Tue, 23 Feb 2021 20:41:48 +0000 | haftmann | more specific name | file | diff | annotate |
| Mon, 22 Feb 2021 23:31:59 +0100 | wenzelm | NEWS; | file | diff | annotate |
| Mon, 22 Feb 2021 18:28:12 +0000 | haftmann | NEWS | file | diff | annotate |
| Mon, 22 Feb 2021 07:49:48 +0000 | haftmann | get rid of traditional predicate | file | diff | annotate |
| Fri, 19 Feb 2021 13:42:12 +0100 | Manuel Eberl | HOL-Analysis/Probability: Hoeffding's inequality, negative binomial distribution, etc. | file | diff | annotate |
| Sat, 13 Feb 2021 20:39:29 +0100 | wenzelm | tuned NEWS; | file | diff | annotate |
| 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 |
| Thu, 07 Jan 2021 13:23:54 +0100 | wenzelm | clarified NEWS; | file | diff | annotate |
| Wed, 06 Jan 2021 12:59:52 +0100 | wenzelm | more NEWS; | file | diff | annotate |
| Tue, 05 Jan 2021 03:35:46 +0100 | Manuel Eberl | HOL-Library.Multiset: new notation for prod_mset, consistent with sum_mset | file | diff | annotate |
| Mon, 04 Jan 2021 21:25:40 +0100 | wenzelm | merged | file | diff | annotate |
| Mon, 04 Jan 2021 21:24:15 +0100 | wenzelm | more documentation; | file | diff | annotate |
| Mon, 04 Jan 2021 19:41:38 +0100 | Manuel Eberl | HOL-Library: Changed notation for sum_mset | file | diff | annotate |
| Sun, 27 Dec 2020 14:04:16 +0100 | wenzelm | tuned; | file | diff | annotate |
| Sun, 27 Dec 2020 13:52:55 +0100 | wenzelm | proper NEWS according to current situation; | file | diff | annotate |