- Queries
- All Stories
- Search
- Advanced Search
- Transactions
- Transaction Logs
Feed Advanced Search
Advanced Search
Advanced Search
Jan 16 2020
Jan 16 2020
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;
Jan 15 2020
Jan 15 2020
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;
Jan 14 2020
Jan 14 2020
more antiquotations;
Jan 13 2020
Jan 13 2020
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.
See also https://matrix.org "An open network for secure, decentralized communication"
Jan 12 2020
Jan 12 2020
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.
makarius updated the task description for T9: Evaluate https://discourse.org as replacement for mailman, stackoverflow.
makarius updated the task description for T9: Evaluate https://discourse.org as replacement for mailman, stackoverflow.
makarius triaged T9: Evaluate https://discourse.org as replacement for mailman, stackoverflow as Low priority.
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
Jan 11 2020
Jan 11 2020
tuned documentation;
Jan 10 2020
Jan 10 2020
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…
Jan 9 2020
Jan 9 2020
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;
Dec 27 2019
Dec 27 2019
Dec 26 2019
Dec 26 2019
Dec 23 2019
Dec 23 2019
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;
Dec 22 2019
Dec 22 2019
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).
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
Some required Node.js packages:
tuned documentation;
Dec 19 2019
Dec 19 2019
more documentation;
tuned documentation;
more documentation;