- Queries
- All Stories
- Search
- Advanced Search
- Transactions
- Transaction Logs
Feed All Stories
All Stories
All Stories
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;
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,
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.
Jan 18 2020
Jan 18 2020
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.
Fix case problem in one entry.
Jan 17 2020
Jan 17 2020
pruvisto committed rISABELLEa3f7f00b4fd8: Removed unnecessary and problematic trivial lemma from HOL-Algebra.
Removed unnecessary and problematic trivial lemma from HOL-Algebra
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…
Julian Brunner <julianbrunner@gmail.com> committed rAFP3d850b1af9cd: small adjustments for new implementation.
small adjustments for new implementation
Julian Brunner <julianbrunner@gmail.com> committed rAFPfbd84ab865a3: improved emptiness check implementation and added more translation ideas.
improved emptiness check implementation and added more translation ideas
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;
Jan 7 2020
Jan 7 2020
traytel committed rISABELLEc71a44893645: eliminated one redundant proof obligation in lift_bnf for quotients.
eliminated one redundant proof obligation in lift_bnf for quotients
removed experimental option to SPASS
Andreas Halkjær From <s144442@student.dtu.dk> committed rAFPb504f070987b: Restrict the GoTo rule.
Restrict the GoTo rule
nipkow committed rISABELLE41f3ca717da5: alternative deletion in Red-Black trees.
alternative deletion in Red-Black trees
nipkow committed rISABELLEb3a93a91803b: generalized thm (as suggested by Christian Weinz).
generalized thm (as suggested by Christian Weinz)
kleing committed rAFP8d4d754b2196: adapt to isabelle fb788bd799d9.
adapt to isabelle fb788bd799d9
nipkow committed rAFPdcbd8cc33205: New entry Zeta_3_Irrational.
New entry Zeta_3_Irrational
Jan 2 2020
Jan 2 2020
More material for Zeta_Function: Hadjicostas's formula
Dec 28 2019
Dec 28 2019
Dec 27 2019
Dec 27 2019
Frédéric Tuong committed rAFPc9b532b32acc: synchronize with isabelle_c/a8ec2f73aa2426b34f6c7548f720abd31413ca79 , update….
synchronize with isabelle_c/a8ec2f73aa2426b34f6c7548f720abd31413ca79 , update…
Dec 26 2019
Dec 26 2019
Dec 24 2019
Dec 24 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;
remove carriage return
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).