| Tue, 28 Jan 2025 11:05:45 +0100 |
wenzelm |
tuned names;
|
changeset |
files
|
| Tue, 28 Jan 2025 13:02:42 +0100 |
haftmann |
more explicit tests for non-PolyML SML platforms
|
changeset |
files
|
| Tue, 28 Jan 2025 07:17:30 +0100 |
haftmann |
typo
|
changeset |
files
|
| Mon, 27 Jan 2025 22:27:18 +0100 |
wenzelm |
merged
|
changeset |
files
|
| Mon, 27 Jan 2025 21:31:11 +0100 |
wenzelm |
more NEWS;
|
changeset |
files
|
| Mon, 27 Jan 2025 21:31:02 +0100 |
wenzelm |
clarified syntax;
|
changeset |
files
|
| Mon, 27 Jan 2025 20:29:02 +0100 |
wenzelm |
support for "no" polarity of 'adhoc_overloading' vs. 'no_adhoc_overloading';
|
changeset |
files
|
| Mon, 27 Jan 2025 18:32:18 +0100 |
wenzelm |
more operations;
|
changeset |
files
|
| Mon, 27 Jan 2025 14:14:30 +0100 |
wenzelm |
clarified signature: proper ML interface to main command, without exposing too many internals;
|
changeset |
files
|
| Mon, 27 Jan 2025 12:52:19 +0100 |
wenzelm |
tuned signature: more explicit Type.raw_equiv;
|
changeset |
files
|
| Mon, 27 Jan 2025 12:24:51 +0100 |
wenzelm |
more liberal type equivalence, following thys/Transport/HOL_Basics/Adhoc_Overloading/Adhoc_Overloading.thy from AFP/e69d71bc07c4;
|
changeset |
files
|
| Mon, 27 Jan 2025 12:13:37 +0100 |
wenzelm |
move theory "HOL-Library.Adhoc_Overloading" to Pure;
|
changeset |
files
|
| Sun, 26 Jan 2025 22:45:57 +0100 |
wenzelm |
discontinue odd "-build" suffix altogether (see also f51b0b54b20b, bec95e287d26, 6b45a1568637);
|
changeset |
files
|
| Mon, 27 Jan 2025 13:13:30 +0100 |
haftmann |
more frugal exports
|
changeset |
files
|
| Mon, 27 Jan 2025 13:13:28 +0100 |
haftmann |
clarified scopes
|
changeset |
files
|
| Mon, 27 Jan 2025 07:39:49 +0100 |
haftmann |
more correct SML for SML/NJ
|
changeset |
files
|
| Mon, 27 Jan 2025 07:39:48 +0100 |
haftmann |
more explicit real operations
|
changeset |
files
|
| Sun, 26 Jan 2025 13:27:41 +0000 |
paulson |
merged
|
changeset |
files
|
| Sat, 25 Jan 2025 18:40:21 +0000 |
paulson |
Tidied
|
changeset |
files
|
| Sun, 26 Jan 2025 08:39:44 +0100 |
haftmann |
merged
|
changeset |
files
|
| Sat, 25 Jan 2025 21:26:42 +0100 |
haftmann |
modernized and streamlined theory
|
changeset |
files
|
| Sat, 25 Jan 2025 23:16:28 +0100 |
wenzelm |
provide somewhat incomplete naproche-20250125 for testing;
|
changeset |
files
|
| Sat, 25 Jan 2025 22:04:07 +0100 |
wenzelm |
conservative update to stackage lts-22.15 and ghc-9.6.6;
|
changeset |
files
|
| Sat, 25 Jan 2025 21:29:27 +0100 |
wenzelm |
conservative update to stack-2.15.7;
|
changeset |
files
|
| Fri, 24 Jan 2025 21:24:42 +0000 |
paulson |
merged
|
changeset |
files
|
| Fri, 24 Jan 2025 17:53:17 +0000 |
paulson |
merged
|
changeset |
files
|
| Fri, 24 Jan 2025 17:53:06 +0000 |
paulson |
Tidying more old proofs
|
changeset |
files
|
| Fri, 24 Jan 2025 20:05:01 +0100 |
wenzelm |
discontinue old Java 17 LTS;
|
changeset |
files
|
| Fri, 24 Jan 2025 19:54:43 +0100 |
wenzelm |
update versions for release -- one behind current jedit-5.7.0;
|
changeset |
files
|
| Fri, 24 Jan 2025 19:35:55 +0100 |
wenzelm |
more explicit system dependencies;
|
changeset |
files
|
| Fri, 24 Jan 2025 19:25:31 +0100 |
wenzelm |
proper executable from "isabelle ocaml_opam env";
|
changeset |
files
|
| Fri, 24 Jan 2025 14:35:47 +0100 |
wenzelm |
update to postgresql-42.7.5;
|
changeset |
files
|