Page MenuHomeIsabelle/Phabricator

Recent Activity

Sun, Jan 19

makarius committed rISABELLE028edb1e5b99: clarified file names;.
clarified file names;
Sun, Jan 19, 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;
Sun, Jan 19, 3:03 PM
makarius committed rISABELLEd7f8ee80ad42: merged.
merged
Sun, Jan 19, 3:03 PM
makarius committed rISABELLE933ad2385480: tuned spelling;.
tuned spelling;
Sun, Jan 19, 3:03 PM
traytel committed rISABELLEfce780f9c9c6: new examples of BNF lifting across quotients using a new theory of confluence,.
new examples of BNF lifting across quotients using a new theory of confluence,
Sun, Jan 19, 11:15 AM
dcjm committed rPOLYML5237b653aa69: Rename Root.ML to avoid possible conflict with ROOT.ML in Isabelle. (authored by dcjm).
Rename Root.ML to avoid possible conflict with ROOT.ML in Isabelle.
Sun, Jan 19, 9:12 AM

Sat, Jan 18

dcjm committed rPOLYMLf5b8283a1a19: Remove unused variable. This should have been removed in commit 889f7c37. (authored by dcjm).
Remove unused variable. This should have been removed in commit 889f7c37.
Sat, Jan 18, 6:53 PM
dcjm committed rPOLYMLabb79876106c: Fix case problem in one entry. (authored by dcjm).
Fix case problem in one entry.
Sat, Jan 18, 6:53 PM

Fri, Jan 17

pruvisto committed rISABELLEa3f7f00b4fd8: Removed unnecessary and problematic trivial lemma from HOL-Algebra.
Removed unnecessary and problematic trivial lemma from HOL-Algebra
Fri, Jan 17, 10:26 PM

Thu, Jan 16

makarius committed rISABELLE5556ae257df9: proper executable file;.
proper executable file;
Thu, Jan 16, 5:05 PM
makarius committed rISABELLE5e7ba6aa85d7: more documentation: odd option for special situations;.
more documentation: odd option for special situations;
Thu, Jan 16, 4:42 PM
makarius committed rISABELLE21995f5e8126: tuned;.
tuned;
Thu, Jan 16, 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;
Thu, Jan 16, 4:29 PM
makarius triaged T11: HOL-Quickcheck_Examples fails on Windows as Low priority.
Thu, Jan 16, 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;
Thu, Jan 16, 4:06 PM
makarius committed rISABELLE7e8e5e1f8f90: updated to opam-2.0.6;.
updated to opam-2.0.6;
Thu, Jan 16, 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;
Thu, Jan 16, 4:06 PM
makarius triaged T10: Font rendering quality in OpenJDK 11 vs. 13 as Low priority.
Thu, Jan 16, 12:08 PM

Wed, Jan 15

makarius committed rISABELLE0243bf758e79: updated to jdk-11.0.6+10;.
updated to jdk-11.0.6+10;
Wed, Jan 15, 8:53 PM
makarius committed rISABELLE8313dca6dee9: misc tuning, following hint by IntelliJ;.
misc tuning, following hint by IntelliJ;
Wed, Jan 15, 8:53 PM
makarius committed rISABELLE6316debd3a9f: tuned;.
tuned;
Wed, Jan 15, 8:53 PM
makarius committed rISABELLEb9ea2467c929: tuned -- avoid deprecated constructors;.
tuned -- avoid deprecated constructors;
Wed, Jan 15, 8:53 PM
makarius committed rISABELLE942cc80ba18a: unused -- clone of Option.apply;.
unused -- clone of Option.apply;
Wed, Jan 15, 8:53 PM
makarius committed rISABELLE5965e6e3c3ec: proper comparison of Option values, following hint by IntelliJ;.
proper comparison of Option values, following hint by IntelliJ;
Wed, Jan 15, 8:53 PM
makarius created Blog Post: Command-line tool "isabelle scala_project".
Wed, Jan 15, 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;
Wed, Jan 15, 3:30 PM
makarius committed rISABELLEe40f287c25c4: unused;.
unused;
Wed, Jan 15, 3:30 PM

Tue, Jan 14

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

Mon, Jan 13

makarius committed rISABELLE5ccf60c1f47c: tuned messages;.
tuned messages;
Mon, Jan 13, 9:43 PM
makarius committed rISABELLE7832d912d950: tuned;.
tuned;
Mon, Jan 13, 9:43 PM
makarius committed rISABELLE201486ced92d: clarified output channel;.
clarified output channel;
Mon, Jan 13, 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;
Mon, Jan 13, 9:43 PM
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"

Mon, Jan 13, 2:24 PM
makarius added a member for isabelle-repository: peter_lammich.
Mon, Jan 13, 11:50 AM

Sun, Jan 12

makarius committed rISABELLE1c4ec697bee5: more robust;.
more robust;
Sun, Jan 12, 11:30 PM
makarius committed rISABELLEb05aca9cee75: updated to sqlite-jdbc-3.30.1;.
updated to sqlite-jdbc-3.30.1;
Sun, Jan 12, 11:30 PM
makarius committed rISABELLE897ff7e68a10: updated to postgresql-42.2.9;.
updated to postgresql-42.2.9;
Sun, Jan 12, 11:30 PM
makarius committed rISABELLEfd5cd1daf6a9: build in $ISABELLE_HOME;.
build in $ISABELLE_HOME;
Sun, Jan 12, 9:53 PM
makarius committed rISABELLE91d5a8255c98: build in $ISABELLE_HOME;.
build in $ISABELLE_HOME;
Sun, Jan 12, 9:53 PM
makarius committed rISABELLEf0581273bd7b: clarified fresh build;.
clarified fresh build;
Sun, Jan 12, 9:53 PM