| Fri, 01 Nov 2024 16:53:10 +0100 |
wenzelm |
support Isabelle/jEdit action isabelle.select_structure;
|
changeset |
files
|
| Fri, 01 Nov 2024 15:40:31 +0100 |
wenzelm |
more operations;
|
changeset |
files
|
| Tue, 29 Oct 2024 21:51:21 +0100 |
wenzelm |
clarified text;
|
changeset |
files
|
| Tue, 29 Oct 2024 12:30:15 +0100 |
wenzelm |
update to jedit5.7.0;
|
changeset |
files
|
| Mon, 28 Oct 2024 09:43:28 +0100 |
wenzelm |
GUI option "editor_auto_hovering" for Output panel;
|
changeset |
files
|
| Mon, 28 Oct 2024 09:40:28 +0100 |
wenzelm |
update to scala-3.3.4 LTS;
|
changeset |
files
|
| Mon, 28 Oct 2024 08:48:31 +0100 |
wenzelm |
removed obsolete markup for "open_block" (see also d5ad89fda714): Isabelle/Scala directly supports XML.Elem pretty-printing;
|
changeset |
files
|
| Fri, 01 Nov 2024 14:10:52 +0000 |
paulson |
Library material from Eberl's Parallel_Shear_Sort
|
changeset |
files
|
| Fri, 01 Nov 2024 12:15:53 +0000 |
paulson |
Trying to clean up these horribly ugly old proofs, but the requirement of constructivity makes it very difficult
|
changeset |
files
|
| Thu, 31 Oct 2024 18:43:32 +0100 |
Manuel Eberl |
use automatically generated time function in HOL-Data_Structures.Selection
|
changeset |
files
|
| Thu, 31 Oct 2024 15:46:53 +0100 |
nipkow |
merged
|
changeset |
files
|
| Thu, 31 Oct 2024 15:46:33 +0100 |
nipkow |
better time_functions (let)
|
changeset |
files
|
| Thu, 31 Oct 2024 14:58:53 +0100 |
Fabian Huch |
less hidden configuration;
|
changeset |
files
|
| Thu, 31 Oct 2024 14:56:59 +0100 |
Fabian Huch |
proper passwordless smtp check: must be null;
|
changeset |
files
|
| Thu, 31 Oct 2024 09:24:10 +0100 |
blanchet |
adjusted documentation
|
changeset |
files
|