User Details
User Details
- User Since
- Sep 24 2019, 9:33 PM (21 w, 6 d)
- Roles
- Administrator
Today
Today
makarius updated the task description for T13: Isabelle/jEdit indenting.
Yesterday
Yesterday
makarius committed rISABELLE53fcbede7bf7: more robust (amending add9a9f6a290): proper syntax error instead of exception….
more robust (amending add9a9f6a290): proper syntax error instead of exception…
makarius committed rISABELLE910a081cca74: more position information for oracles (e.g. "skip_proof" for 'sorry'), requires….
more position information for oracles (e.g. "skip_proof" for 'sorry'), requires…
Wed, Feb 19
Wed, Feb 19
makarius committed rISABELLE8f628d216ea1: proper print mode for function_space notation (amending d68b705719ce);.
proper print mode for function_space notation (amending d68b705719ce);
proper file name (amending ce3409dfb18c);
Tue, Feb 18
Tue, Feb 18
makarius renamed T9: Evaluate https://discourse.org as replacement for mailman, stackoverflow from Evaluate https://discourse.org as replacement for mailman, stackoverflow, zulip to Evaluate https://discourse.org as replacement for mailman, stackoverflow.
makarius committed rISABELLE09c850e82258: more robust pretty printing of broken YXML, e.g. single "\^E";.
more robust pretty printing of broken YXML, e.g. single "\^E";
Mon, Feb 17
Mon, Feb 17
makarius committed rISABELLEb2c9f94e025f: proper sort constraints for strip_shyps, for sort relations used in….
proper sort constraints for strip_shyps, for sort relations used in…
makarius edited Description on isabelle-release.
makarius edited Description on isabelle-release.
makarius edited Description on isabelle-release.
Sun, Feb 16
Sun, Feb 16
makarius committed rISABELLE439410bf4519: proper sort constraints for strip_shyps, which implicitly performs type….
proper sort constraints for strip_shyps, which implicitly performs type…
Sat, Feb 15
Sat, Feb 15
Fri, Feb 14
Fri, Feb 14
Added tag Isabelle2020-RC0 for changeset 21c0b3a9d2f8
makarius updated the post content for Blog Post: Release Candidates for Isabelle2020.
makarius updated the post content for Blog Post: Release Candidates for Isabelle2020.
makarius updated the task description for T8: Clarify underlying Mercurial version.
makarius updated the task description for T8: Clarify underlying Mercurial version.
makarius updated the task description for T8: Clarify underlying Mercurial version.
Following Isabelle/8b0b8b9ea653, Mercurial 3.9.2 from 23-Sep-2016 is fine for now:
Wed, Feb 12
Wed, Feb 12
makarius committed rISABELLE8b0b8b9ea653: afford newer Mercurial version, just before odd problems in 4.0 and 4.1;.
afford newer Mercurial version, just before odd problems in 4.0 and 4.1;
afford more logging (following defaults on Ubuntu);
Tue, Feb 11
Tue, Feb 11
makarius updated the task description for T12: Hosting of Isabelle/AFP after Jun-2020.
updated for release;
updated for release;
makarius added a comment to T8: Clarify underlying Mercurial version.
Further hints:
Mon, Feb 10
Mon, Feb 10
recover from Unicode accident in 4abd07cd034f;
updated for release;
makarius added a comment to T12: Hosting of Isabelle/AFP after Jun-2020.
An Atlassian / Bitbucket spokesperson says "there are no plans to remove Hg from SourceTree" (see
https://community.atlassian.com/t5/Bitbucket-articles/What-to-do-with-your-Mercurial-repos-when-Bitbucket-sunsets/ba-p/1155380#M176).
makarius updated the post content for Blog Post: Plan for Isabelle2020 release.
Sat, Feb 8
Sat, Feb 8
allow to override repository versions at runtime;
Fri, Feb 7
Fri, Feb 7
follow Phabricator update 2020 Week 5;
Tue, Jan 28
Tue, Jan 28
makarius committed rISABELLE839bf7d74fae: ignore generated dependency files (see 91d5a8255c98, fd5cd1daf6a9);.
ignore generated dependency files (see 91d5a8255c98, fd5cd1daf6a9);
Jan 19 2020
Jan 19 2020
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;
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.
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
Jan 11 2020
Jan 11 2020
tuned documentation;
Jan 10 2020
Jan 10 2020
clarified script name;