| 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 |