| Tue, 11 May 2021 16:30:24 +0200 | wenzelm | clarified platforms; | file | diff | annotate |
| Sun, 09 May 2021 05:48:50 +0000 | haftmann | more elementary swap | file | diff | annotate |
| Wed, 05 May 2021 16:09:02 +0000 | haftmann | tuned theory structure | file | diff | annotate |
| Wed, 05 May 2021 16:09:02 +0000 | haftmann | more appropriate location | file | diff | annotate |
| Sun, 02 May 2021 17:38:49 +0200 | wenzelm | support nested cases; | file | diff | annotate |
| Thu, 22 Apr 2021 10:11:11 +0200 | wenzelm | simplified typesetting of \<guillemotleft>...\<guillemotright>; | file | diff | annotate |
| Fri, 16 Apr 2021 23:16:00 +0200 | wenzelm | support for conditional ML text; | file | diff | annotate |
| Fri, 09 Apr 2021 22:06:59 +0200 | wenzelm | support for ML special forms: modified evaluation similar to Scheme; | file | diff | annotate |
| Sat, 27 Mar 2021 18:01:41 +0100 | wenzelm | clarified output; | file | diff | annotate |
| Sat, 27 Mar 2021 17:13:15 +0100 | wenzelm | support repository archives (without full .hg directory); | file | diff | annotate |
| Thu, 25 Mar 2021 08:52:15 +0000 | haftmann | dedicated session for combinatorial material | file | diff | annotate |
| Mon, 22 Mar 2021 17:33:08 +0100 | wenzelm | more NEWS; | file | diff | annotate |
| Mon, 22 Mar 2021 10:49:51 +0000 | haftmann | more lemmas | file | diff | annotate |
| Mon, 22 Mar 2021 00:07:55 +0100 | wenzelm | clarified package name (actually both pxfonts and txfonts exist and have this font); | file | diff | annotate |
| Sun, 21 Mar 2021 23:56:54 +0100 | wenzelm | tuned; | file | diff | annotate |
| Sun, 21 Mar 2021 23:03:31 +0100 | wenzelm | high-quality blackboard-bold fonts from "txmia" (package "txfonts"); | file | diff | annotate |
| Wed, 17 Mar 2021 22:24:57 +0100 | wenzelm | more Isabelle symbol definitions for Z Notation, based on https://github.com/isabelle-utp/Z_Toolkit 998c9f7880d3 by Simon Foster; | file | diff | annotate |
| Sun, 14 Mar 2021 21:02:34 +0100 | wenzelm | removed spurious references to perl / libwww-perl; | file | diff | annotate |
| Thu, 11 Mar 2021 07:05:38 +0000 | haftmann | avoid name clash | file | diff | annotate |
| Thu, 11 Mar 2021 11:22:25 +0100 | wenzelm | tuned; | file | diff | annotate |
| Tue, 09 Mar 2021 21:11:05 +0100 | wenzelm | proper type-setting of cartouches (requires T1); | file | diff | annotate |
| Sun, 07 Mar 2021 08:24:24 +0100 | haftmann | follow corresponding precedence on sets | file | diff | annotate |
| Sat, 06 Mar 2021 18:42:10 +0000 | haftmann | consolidated names | file | diff | annotate |
| Fri, 05 Mar 2021 17:29:49 +0100 | wenzelm | clarified timeouts in Isabelle/ML; | file | diff | annotate |
| Fri, 05 Mar 2021 10:30:54 +0100 | haftmann | typo | file | diff | annotate |
| Mon, 01 Mar 2021 08:16:22 +0100 | haftmann | NEWS | file | diff | annotate |
| Sat, 27 Feb 2021 22:17:56 +0100 | wenzelm | more Isabelle/ML/Scala operations; | file | diff | annotate |
| Sat, 27 Feb 2021 21:36:58 +0100 | wenzelm | more Isabelle/ML/Scala operations; | file | diff | annotate |
| Sat, 27 Feb 2021 21:01:07 +0100 | wenzelm | more Isabelle/ML/Scala operations; | file | diff | annotate |
| 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 |
| Sun, 27 Dec 2020 13:49:03 +0100 | wenzelm | updated for release; | file | diff | annotate |