Page MenuHomeIsabelle/Phabricator

makarius (Makarius Wenzel)
UserAdministrator

User Details

User Since
Sep 24 2019, 9:33 PM (21 w, 6 d)
Roles
Administrator

Recent Activity

Today

makarius triaged T17: Proper treatment of hidden polymorphism in proof terms as Normal priority.
Tue, Feb 25, 12:00 PM · isabelle-release
makarius triaged T16: Clarify indentation after 'oops' as Normal priority.
Tue, Feb 25, 11:52 AM
makarius updated the task description for T13: Isabelle/jEdit indenting.
Tue, Feb 25, 11:25 AM · isabelle-release

Yesterday

makarius committed rISABELLE53fcbede7bf7: more robust (amending add9a9f6a290): proper syntax error instead of exception….
more robust (amending add9a9f6a290): proper syntax error instead of exception…
Mon, Feb 24, 10:34 PM
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…
Mon, Feb 24, 9:12 PM

Wed, Feb 19

makarius triaged T15: Localized record package as Normal priority.
Wed, Feb 19, 8:48 PM
makarius triaged T14: Fully localized type abbreviations as Wishlist priority.
Wed, Feb 19, 8:43 PM
makarius committed rISABELLE8f628d216ea1: proper print mode for function_space notation (amending d68b705719ce);.
proper print mode for function_space notation (amending d68b705719ce);
Wed, Feb 19, 8:07 PM
makarius committed rISABELLE4876e6f62fe5: proper file name (amending ce3409dfb18c);.
proper file name (amending ce3409dfb18c);
Wed, Feb 19, 4:05 PM

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.
Tue, Feb 18, 9:08 PM
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";
Tue, Feb 18, 4:08 PM

Mon, Feb 17

makarius committed rISABELLE35b2d407e558: merged.
merged
Mon, Feb 17, 9:11 PM
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…
Mon, Feb 17, 9:11 PM
makarius edited Description on isabelle-release.
Mon, Feb 17, 2:27 PM
makarius edited Description on isabelle-release.
Mon, Feb 17, 2:27 PM
makarius edited Description on isabelle-release.
Mon, Feb 17, 2:26 PM
makarius committed rISABELLEfb08117a106b: tuned;.
tuned;
Mon, Feb 17, 12:06 PM

Sun, Feb 16

makarius committed rISABELLE404624eb3a22: NEWS;.
NEWS;
Sun, Feb 16, 8:18 PM
makarius committed rISABELLE439410bf4519: proper sort constraints for strip_shyps, which implicitly performs type….
proper sort constraints for strip_shyps, which implicitly performs type…
Sun, Feb 16, 8:18 PM

Sat, Feb 15

makarius committed rISABELLE91340a6bf401: NEWS;.
NEWS;
Sat, Feb 15, 9:22 PM
makarius added a member for isabelle-repository: kleing.
Sat, Feb 15, 5:13 PM

Fri, Feb 14

makarius committed rISABELLEe596ea18bf3e: Added tag Isabelle2020-RC0 for changeset 21c0b3a9d2f8.
Added tag Isabelle2020-RC0 for changeset 21c0b3a9d2f8
Fri, Feb 14, 10:26 PM
makarius updated the post content for Blog Post: Release Candidates for Isabelle2020.
Fri, Feb 14, 10:02 PM
makarius updated the post content for Blog Post: Release Candidates for Isabelle2020.
Fri, Feb 14, 9:50 PM
makarius created Blog Post: Release Candidates for Isabelle2020.
Fri, Feb 14, 9:43 PM
makarius updated the task description for T8: Clarify underlying Mercurial version.
Fri, Feb 14, 9:30 PM · isabelle-release, phabricator-setup
makarius updated the task description for T8: Clarify underlying Mercurial version.
Fri, Feb 14, 9:30 PM · isabelle-release, phabricator-setup
makarius updated the task description for T8: Clarify underlying Mercurial version.
Fri, Feb 14, 9:30 PM · isabelle-release, phabricator-setup
makarius closed T8: Clarify underlying Mercurial version as Resolved.

Following Isabelle/8b0b8b9ea653, Mercurial 3.9.2 from 23-Sep-2016 is fine for now:

Fri, Feb 14, 9:27 PM · isabelle-release, phabricator-setup

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;
Wed, Feb 12, 9:41 PM
makarius committed rISABELLE760e19aa9b09: afford more logging (following defaults on Ubuntu);.
afford more logging (following defaults on Ubuntu);
Wed, Feb 12, 9:41 PM

Tue, Feb 11

makarius updated the task description for T12: Hosting of Isabelle/AFP after Jun-2020.
Tue, Feb 11, 7:21 PM · isabelle-release
makarius committed rISABELLE22158ebde77f: updated for release;.
updated for release;
Tue, Feb 11, 5:03 PM
makarius committed rISABELLE8fd1936490bc: tuned;.
tuned;
Tue, Feb 11, 3:42 PM
makarius committed rISABELLE2e1b0ee920f5: updated for release;.
updated for release;
Tue, Feb 11, 3:42 PM
makarius added a project to T8: Clarify underlying Mercurial version: isabelle-release.
Tue, Feb 11, 10:45 AM · isabelle-release, phabricator-setup
makarius added a comment to T8: Clarify underlying Mercurial version.

Further hints:

Tue, Feb 11, 10:44 AM · isabelle-release, phabricator-setup

Mon, Feb 10

makarius committed rISABELLE6c52b1d71f8b: proper symbols;.
proper symbols;
Mon, Feb 10, 11:04 PM
makarius committed rISABELLE49fb95d04d43: NEWS;.
NEWS;
Mon, Feb 10, 10:56 PM
makarius committed rISABELLEe06ece7a408f: recover from Unicode accident in 4abd07cd034f;.
recover from Unicode accident in 4abd07cd034f;
Mon, Feb 10, 10:56 PM
makarius committed rISABELLE508b4f6431ae: updated for release;.
updated for release;
Mon, Feb 10, 10:56 PM
makarius committed rISABELLE7736b754b37f: NEWS;.
NEWS;
Mon, Feb 10, 10:56 PM
makarius committed rISABELLE182956c8e020: NEWS;.
NEWS;
Mon, Feb 10, 10:56 PM
makarius committed rISABELLEb3954e1387b0: tuned;.
tuned;
Mon, Feb 10, 10:56 PM
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).

Mon, Feb 10, 9:25 PM · isabelle-release
makarius committed rISABELLE66a06a55c00c: tuned;.
tuned;
Mon, Feb 10, 9:14 PM
makarius raised the priority of T3: Adapt Isabelle/VSCode to Webview API from Normal to High.
Mon, Feb 10, 9:14 PM · isabelle-release
makarius updated the post content for Blog Post: Plan for Isabelle2020 release.
Mon, Feb 10, 8:50 PM
makarius triaged T12: Hosting of Isabelle/AFP after Jun-2020 as High priority.
Mon, Feb 10, 8:46 PM · isabelle-release

Sat, Feb 8

makarius committed rISABELLE5d5be87330b5: allow to override repository versions at runtime;.
allow to override repository versions at runtime;
Sat, Feb 8, 3:25 PM

Fri, Feb 7

makarius committed rISABELLE5de8c6d92bd0: follow Phabricator update 2020 Week 5;.
follow Phabricator update 2020 Week 5;
Fri, Feb 7, 8:37 PM

Tue, Jan 28

makarius committed rISABELLE839bf7d74fae: ignore generated dependency files (see 91d5a8255c98, fd5cd1daf6a9);.
ignore generated dependency files (see 91d5a8255c98, fd5cd1daf6a9);
Tue, Jan 28, 8:28 PM

Jan 19 2020

makarius committed rISABELLE028edb1e5b99: clarified file names;.
clarified file names;
Jan 19 2020, 3:03 PM
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 19 2020, 3:03 PM
makarius committed rISABELLEd7f8ee80ad42: merged.
merged
Jan 19 2020, 3:03 PM
makarius committed rISABELLE933ad2385480: tuned spelling;.
tuned spelling;
Jan 19 2020, 3:03 PM

Jan 16 2020

makarius committed rISABELLE5556ae257df9: proper executable file;.
proper executable file;
Jan 16 2020, 5:05 PM
makarius committed rISABELLE5e7ba6aa85d7: more documentation: odd option for special situations;.
more documentation: odd option for special situations;
Jan 16 2020, 4:42 PM
makarius committed rISABELLE21995f5e8126: tuned;.
tuned;
Jan 16 2020, 4:42 PM
makarius committed rISABELLE57861bd0a3e1: updated to sumatra_pdf-3.1.2-1: x86_64-windows;.
updated to sumatra_pdf-3.1.2-1: x86_64-windows;
Jan 16 2020, 4:29 PM
makarius triaged T11: HOL-Quickcheck_Examples fails on Windows as Low priority.
Jan 16 2020, 4:07 PM
makarius committed rISABELLEb3b992f6ad8f: updated to stack-2.1.3, stackage lts-13.19, ghc-8.6.4;.
updated to stack-2.1.3, stackage lts-13.19, ghc-8.6.4;
Jan 16 2020, 4:06 PM
makarius committed rISABELLE7e8e5e1f8f90: updated to opam-2.0.6;.
updated to opam-2.0.6;
Jan 16 2020, 4:06 PM
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 16 2020, 4:06 PM
makarius triaged T10: Font rendering quality in OpenJDK 11 vs. 13 as Low priority.
Jan 16 2020, 12:08 PM

Jan 15 2020

makarius committed rISABELLE0243bf758e79: updated to jdk-11.0.6+10;.
updated to jdk-11.0.6+10;
Jan 15 2020, 8:53 PM
makarius committed rISABELLE8313dca6dee9: misc tuning, following hint by IntelliJ;.
misc tuning, following hint by IntelliJ;
Jan 15 2020, 8:53 PM
makarius committed rISABELLE6316debd3a9f: tuned;.
tuned;
Jan 15 2020, 8:53 PM
makarius committed rISABELLEb9ea2467c929: tuned -- avoid deprecated constructors;.
tuned -- avoid deprecated constructors;
Jan 15 2020, 8:53 PM
makarius committed rISABELLE942cc80ba18a: unused -- clone of Option.apply;.
unused -- clone of Option.apply;
Jan 15 2020, 8:53 PM
makarius committed rISABELLE5965e6e3c3ec: proper comparison of Option values, following hint by IntelliJ;.
proper comparison of Option values, following hint by IntelliJ;
Jan 15 2020, 8:53 PM
makarius created Blog Post: Command-line tool "isabelle scala_project".
Jan 15 2020, 3:34 PM
makarius committed rISABELLE820cf124dced: added "isabelle scala_project" to support e.g. IntelliJ IDEA;.
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
Jan 15 2020, 3:30 PM
makarius committed rISABELLEe40f287c25c4: unused;.
unused;
Jan 15 2020, 3:30 PM

Jan 14 2020

makarius committed rISABELLE26801434d628: more antiquotations;.
more antiquotations;
Jan 14 2020, 4:21 PM

Jan 13 2020

makarius committed rISABELLE5ccf60c1f47c: tuned messages;.
tuned messages;
Jan 13 2020, 9:43 PM
makarius committed rISABELLE7832d912d950: tuned;.
tuned;
Jan 13 2020, 9:43 PM
makarius committed rISABELLE201486ced92d: clarified output channel;.
clarified output channel;
Jan 13 2020, 9:43 PM
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;
Jan 13 2020, 9:43 PM
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 13 2020, 2:24 PM
makarius added a member for isabelle-repository: peter_lammich.
Jan 13 2020, 11:50 AM

Jan 12 2020

makarius committed rISABELLE1c4ec697bee5: more robust;.
more robust;
Jan 12 2020, 11:30 PM
makarius committed rISABELLEb05aca9cee75: updated to sqlite-jdbc-3.30.1;.
updated to sqlite-jdbc-3.30.1;
Jan 12 2020, 11:30 PM
makarius committed rISABELLE897ff7e68a10: updated to postgresql-42.2.9;.
updated to postgresql-42.2.9;
Jan 12 2020, 11:30 PM
makarius committed rISABELLEfd5cd1daf6a9: build in $ISABELLE_HOME;.
build in $ISABELLE_HOME;
Jan 12 2020, 9:53 PM
makarius committed rISABELLE91d5a8255c98: build in $ISABELLE_HOME;.
build in $ISABELLE_HOME;
Jan 12 2020, 9:53 PM
makarius committed rISABELLEf0581273bd7b: clarified fresh build;.
clarified fresh build;
Jan 12 2020, 9:53 PM
makarius updated the task description for T9: Evaluate https://discourse.org as replacement for mailman, stackoverflow.
Jan 12 2020, 4:19 PM
makarius updated the task description for T9: Evaluate https://discourse.org as replacement for mailman, stackoverflow.
Jan 12 2020, 4:18 PM
makarius updated the task description for T9: Evaluate https://discourse.org as replacement for mailman, stackoverflow.
Jan 12 2020, 4:18 PM
makarius triaged T9: Evaluate https://discourse.org as replacement for mailman, stackoverflow as Low priority.
Jan 12 2020, 4:14 PM
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 12 2020, 4:10 PM · isabelle-release
makarius added a project to T8: Clarify underlying Mercurial version: phabricator-setup.
Jan 12 2020, 4:06 PM · isabelle-release, phabricator-setup
makarius claimed T8: Clarify underlying Mercurial version.
Jan 12 2020, 4:05 PM · isabelle-release, phabricator-setup
makarius triaged T8: Clarify underlying Mercurial version as Low priority.
Jan 12 2020, 3:50 PM · isabelle-release, phabricator-setup

Jan 11 2020

makarius committed rISABELLE462f341407b4: tuned documentation;.
tuned documentation;
Jan 11 2020, 4:22 PM
makarius committed rISABELLEaecea7c4bda1: tuned;.
tuned;
Jan 11 2020, 3:58 PM

Jan 10 2020

makarius committed rISABELLEce3409dfb18c: clarified script name;.
clarified script name;
Jan 10 2020, 5:21 PM
makarius added a comment to rISABELLE597059a44d6f: prefer mercurial-2.8.2 for more robustness (i.e. the version used by the….
Jan 10 2020, 4:07 PM
makarius added a comment to rISABELLE597059a44d6f: prefer mercurial-2.8.2 for more robustness (i.e. the version used by the….

See also https://discourse.phabricator-community.org/t/prefer-old-mercurial-2-8-2-to-avoid-various-problems/3431

Jan 10 2020, 4:03 PM