User Details
User Details
- User Since
- Sep 24 2019, 9:33 PM (16 w, 6 d)
- Roles
- Administrator
Sun, Jan 19
Sun, Jan 19
clarified file names;
makarius committed rISABELLEc1c61d0d8e7c: clarified build_polyml_component: include IDE entry point for ML compiler;.
clarified build_polyml_component: include IDE entry point for ML compiler;
Thu, Jan 16
Thu, Jan 16
proper executable file;
more documentation: odd option for special situations;
updated to sumatra_pdf-3.1.2-1: x86_64-windows;
updated to stack-2.1.3, stackage lts-13.19, ghc-8.6.4;
updated to opam-2.0.6;
makarius committed rISABELLE06bb82e7af2a: updated to current cygwin, after 3.1.2-1 from 21-Dec-2019;.
updated to current cygwin, after 3.1.2-1 from 21-Dec-2019;
Wed, Jan 15
Wed, Jan 15
updated to jdk-11.0.6+10;
misc tuning, following hint by IntelliJ;
tuned -- avoid deprecated constructors;
unused -- clone of Option.apply;
makarius committed rISABELLE5965e6e3c3ec: proper comparison of Option values, following hint by IntelliJ;.
proper comparison of Option values, following hint by IntelliJ;
makarius committed rISABELLE820cf124dced: added "isabelle scala_project" to support e.g. IntelliJ IDEA;.
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
Tue, Jan 14
Tue, Jan 14
more antiquotations;
Mon, Jan 13
Mon, Jan 13
clarified output channel;
makarius committed rISABELLE85274743f789: clarified option -f: avoid accidental target_clean for proper release snapshot;.
clarified option -f: avoid accidental target_clean for proper release snapshot;
makarius added a comment to T9: Evaluate https://discourse.org as replacement for mailman, stackoverflow, zulip.
See also https://matrix.org "An open network for secure, decentralized communication"
Sun, Jan 12
Sun, Jan 12
updated to sqlite-jdbc-3.30.1;
updated to postgresql-42.2.9;
build in $ISABELLE_HOME;
build in $ISABELLE_HOME;
clarified fresh build;
makarius updated the task description for T9: Evaluate https://discourse.org as replacement for mailman, stackoverflow, zulip.
makarius updated the task description for T9: Evaluate https://discourse.org as replacement for mailman, stackoverflow, zulip.
makarius updated the task description for T9: Evaluate https://discourse.org as replacement for mailman, stackoverflow, zulip.
makarius triaged T9: Evaluate https://discourse.org as replacement for mailman, stackoverflow, zulip as Low priority.
makarius added a comment to T3: Adapt Isabelle/VSCode to Webview API.
Here is a proposed change:
# HG changeset patch # User XYZ # Date 1573057691 -3600 # Wed Nov 06 17:28:11 2019 +0100 # Node ID ec7c536b2b7ab516541f31e5a5be93d7391c27a1 # Parent b3956a37c99476571bfda9312da927dfdfdcb6b1 replaced previewHtml with WebviewPanel
Sat, Jan 11
Sat, Jan 11
tuned documentation;
Fri, Jan 10
Fri, Jan 10
clarified script name;
makarius committed rISABELLE597059a44d6f: prefer mercurial-2.8.2 for more robustness (i.e. the version used by the….
prefer mercurial-2.8.2 for more robustness (i.e. the version used by the…
Thu, Jan 9
Thu, Jan 9
makarius committed rISABELLEfcf5ee85743d: more Isabelle fonts, notably for File Browser title in GTK L&F;.
more Isabelle fonts, notably for File Browser title in GTK L&F;
eliminated deprecated scala.collection.JavaConversions;
tuned -- more direct java.util.Map.of;
Fri, Dec 27
Fri, Dec 27
Thu, Dec 26
Thu, Dec 26
Mon, Dec 23
Mon, Dec 23
makarius committed rISABELLEd72d4a9316c9: updated platform situation: 32bit variants are marginal or absent;.
updated platform situation: 32bit variants are marginal or absent;
repackage as csdp-6.1-1, with proper platform names;
proper File.platform_path for Windows;
makarius committed rISABELLE05400628c56b: updated csdp-6.1: Linux and Windows executables are as before, but macOS has….
updated csdp-6.1: Linux and Windows executables are as before, but macOS has…
updated linux_app-20191223: x86_64-linux;
Sun, Dec 22
Sun, Dec 22
makarius changed the Default Build Plan View Policy policy for application Harbormaster from All Users to Public (No Login Required).
makarius changed the Default View Policy policy for application Differential from All Users to Public (No Login Required).
makarius edited Description on isabelle-release.
makarius updated the post content for Blog Post: Plan for Isabelle2020 release.
makarius updated the post content for Blog Post: Plan for Isabelle2020 release.
improved Markdown-like display in Phabricator;
improved Markdown-like display in Phabricator;
somewhat irrelevant -- defaults are OK;
Dec 21 2019
Dec 21 2019
clarified signature -- more operations;
clarified signature;
proper search with multiple "pages" of results;
Dec 20 2019
Dec 20 2019
makarius added a comment to T7: Setup Notification server.
Some required Node.js packages:
tuned documentation;
Dec 19 2019
Dec 19 2019