User Details
User Details
- User Since
- Sep 24 2019, 9:33 PM (121 w, 5 d)
- Roles
- Administrator
Sat, Jan 22
Sat, Jan 22
makarius committed rISABELLE26794ec7c78e: some updates and clarification on Assumption.export_term;.
some updates and clarification on Assumption.export_term;
Fri, Jan 21
Fri, Jan 21
updated to jdk-17.0.2+8;
Dec 21 2021
Dec 21 2021
allow general command transactions with presentation;
clarified signature;
support Gradle as alternative to Maven (again);
Dec 17 2021
Dec 17 2021
makarius updated the post content for Blog Post: Release Candidates for Isabelle2021-1.
Dec 15 2021
Dec 15 2021
support for JSON:API;
support for Flarum server;
clarified author names;
clarified author names;
Dec 14 2021
Dec 14 2021
more accurate names;
more standard author_info;
clarified author info and cluster nodes;
more data integrity: name vs. address;
clarified signature: more operations;
clarified signature;
more data integrity: name vs. address;
Dec 13 2021
Dec 13 2021
more data integrity: name vs. address;
misc tuning and clarification;
more mailing list content;
more mailing list content;
makarius committed rISABELLE115a47a103aa: added Apache Commons Lang + Text: not particularly exciting, but provides….
added Apache Commons Lang + Text: not particularly exciting, but provides…
Dec 12 2021
Dec 12 2021
removed obsolete RC tags;
makarius committed rISABELLEcdd2284c8047: merged, resolving conflict in src/Doc/Implementation/Logic.thy;.
merged, resolving conflict in src/Doc/Implementation/Logic.thy;
Added tag Isabelle2021-1 for changeset c2a2be496f35
proper ML types (amending 1aa92bc4d356);
makarius committed rISABELLE74a800810bde: proper types for Scala.Fun instances (amending 1aa92bc4d356);.
proper types for Scala.Fun instances (amending 1aa92bc4d356);
proper syntax category;
Dec 11 2021
Dec 11 2021
provide component naproche-20211211;
Dec 10 2021
Dec 10 2021
more Mailman archives;
more Mailman content;
clarified signature;
Dec 7 2021
Dec 7 2021
discontinued Parse.text;
discontinued old-style {* verbatim *} tokens;
discontinued old-style {* verbatim *} tokens;
isabelle update_cartouches;
Dec 6 2021
Dec 6 2021
isabelle update_cartouches;
removed obsolete "extend" operation;
Dec 5 2021
Dec 5 2021
more symbolic latex_output via XML (using YXML within text);
makarius committed rISABELLE229d7ea628c2: more symbolic latex_output via XML (using YXML within text);.
more symbolic latex_output via XML (using YXML within text);
tuned signature: remove unused;
makarius committed rISABELLE947bb3e09a88: prefer symbolic Latex.environment (typeset in Isabelle/Scala);.
prefer symbolic Latex.environment (typeset in Isabelle/Scala);
clarified corner cases of syntax;
makarius committed rISABELLE89c7f74b5ae1: clarified Parse.embedded_ml: follow documentation (8baf2e8b16e2);.
clarified Parse.embedded_ml: follow documentation (8baf2e8b16e2);
makarius committed rAFPdf2034347bc9: prefer symbolic Latex.environment (typeset in Isabelle/Scala);.
prefer symbolic Latex.environment (typeset in Isabelle/Scala);
Dec 4 2021
Dec 4 2021
makarius updated the post content for Blog Post: Release Candidates for Isabelle2021-1.
only Windows 10 is tested;
makarius updated the post content for Blog Post: Release Candidates for Isabelle2021-1.
makarius updated the post content for Blog Post: Release Candidates for Isabelle2021-1.
provide component naproche-2d99afe5c349;
Added tag Isabelle2021-1-RC5 for changeset 8baf2e8b16e2
more documentation about Type/Const antiquotations;
more documentation about document build options;
tuned --- fewer IDE warnings;
makarius committed rISABELLE9e9a308562da: address problems with launch4j and jdk-17 (see also 41d009462d3c, copy of….
address problems with launch4j and jdk-17 (see also 41d009462d3c, copy of…
makarius committed rISABELLEd54b3c96ee50: more robust physical timeout (despite 1bea05713dde), especially relevant for….
more robust physical timeout (despite 1bea05713dde), especially relevant for…
Nov 30 2021
Nov 30 2021
makarius added a comment to T9: Evaluate https://discourse.org as replacement for mailman, stackoverflow.
Flarum https://flarum.org looks like a pretty good alternative to Discourse, Matrix, Zulip etc.
Nov 27 2021
Nov 27 2021
makarius committed rISABELLE25e9e7088561: address problems with launch4j and jdk-17 (see also 41d009462d3c);.
address problems with launch4j and jdk-17 (see also 41d009462d3c);
more robust build on midrange hardware;
makarius committed rISABELLEa5eb407ec867: clarified tests: omit somewhat pointless (unstable) results;.
clarified tests: omit somewhat pointless (unstable) results;
proper fields for gnuplot (amending b614e3e4146a);
makarius added a comment to T29: Update component for Z3.
See also 796ae338eb9d: use z3-4.4.1 for arm64-linux, which often works like pre-4.4.0 and sometimes crashes.
makarius added a comment to T31: Improve robustness of multithreaded Kodkod in Isabelle/Scala.
Back to external Java process for Isabelle2021-1 release (see 91ee232b4211).
Nov 26 2021
Nov 26 2021
makarius committed rISABELLEc5ce1e2f26ab: more robust build on midrange hardware (despite 67d6f1708ea4);.
more robust build on midrange hardware (despite 67d6f1708ea4);
updated to polyml-5.9;
Added tag Isabelle2021-1-RC4 for changeset 2336356d4180
NEWS on "isabelle mirabelle";
makarius committed rISABELLE90242c744a1a: maintain option kodkod_scala within theory context, to allow local modification;.
maintain option kodkod_scala within theory context, to allow local modification;
clarified default for kodkod_scala;
NEWS for proper release;
updated to flatlaf-1.6.4;
makarius committed rISABELLE4faf0ec33cbf: option document_comment_latex supports e.g. Dagstuhl LIPIcs;.
option document_comment_latex supports e.g. Dagstuhl LIPIcs;
more explicit type Latex.Tags;
makarius committed rISABELLE9ad3fa47c83e: avoid broken links: auxiliary files are not yet supported;.
avoid broken links: auxiliary files are not yet supported;
makarius committed rISABELLEf0e0fc82b0b9: removed pointless 'text_cartouche' command: regular 'text' already supports….
removed pointless 'text_cartouche' command: regular 'text' already supports…