- Queries
- All Stories
- Search
- Advanced Search
- Transactions
- Transaction Logs
Feed Advanced Search
Advanced Search
Advanced Search
Dec 3 2019
Dec 3 2019
avoid shadowing of local bindings -- more maintainable;
Dec 1 2019
Dec 1 2019
Works sufficiently well according to Isabelle website a34d4206d9a9.
wenzelm committed rWEBSITEa34d4206d9a9: clarified treatment of security settings;.
clarified treatment of security settings;
Nov 30 2019
Nov 30 2019
Open question: What does "notarization" really mean, especially for add-on executables, even embedded executables as in sqlite-jdbc? Do we have to rebuild and "bless" all binaries with an official developer id?
Nov 29 2019
Nov 29 2019
wenzelm committed rWEBSITEb00c19ebb237: note on macOS 10.15 Catalina (which is formally not supported yet);.
note on macOS 10.15 Catalina (which is formally not supported yet);
wenzelm committed rISABELLE592e2afdd50c: more informative spec rules: optional name;.
more informative spec rules: optional name;
wenzelm committed rISABELLEc7d4f2ab40b9: proper theory context, e.g. for Thm.transfer;.
proper theory context, e.g. for Thm.transfer;
wenzelm committed rISABELLE71467e35fc3c: more structural integrity;.
more structural integrity;
wenzelm committed rAFP78025c98b739: adapted to Isabelle/592e2afdd50c;.
adapted to Isabelle/592e2afdd50c;
Nov 27 2019
Nov 27 2019
wenzelm committed rAFP6128683958ca: more realistic timeout;.
more realistic timeout;
Nov 25 2019
Nov 25 2019
wenzelm committed rISABELLE03afc8252225: support for output messages;.
support for output messages;
wenzelm committed rISABELLEb5822f4c3fde: tuned -- avoid deprecated constructors;.
tuned -- avoid deprecated constructors;
wenzelm committed rISABELLEffccc1f346ae: avoid vacuous session Pure -- dump does not read_pure_theory;.
avoid vacuous session Pure -- dump does not read_pure_theory;
Nov 24 2019
Nov 24 2019
wenzelm committed rISABELLE625df1eb7873: updated to polyml-5.8.1-20191113 test version (Poly/ML 055f20cdc326);.
updated to polyml-5.8.1-20191113 test version (Poly/ML 055f20cdc326);
wenzelm committed rISABELLE6b03ce9b02c7: clarified vacuous selection vs. Pure;.
clarified vacuous selection vs. Pure;
Nov 23 2019
Nov 23 2019
wenzelm committed rISABELLE1299c8c91ed5: more robust: size varies due to different position information in "isabelle….
more robust: size varies due to different position information in "isabelle…
wenzelm committed rISABELLE25b872d1d421: clarified signature;.
clarified signature;
wenzelm committed rISABELLE8563046f15c3: clarified error: tmp file can be invalid in odd situations;.
clarified error: tmp file can be invalid in odd situations;
wenzelm committed rISABELLEf2d848a596d1: more robust: file length can be invalid in odd situations;.
more robust: file length can be invalid in odd situations;
Nov 22 2019
Nov 22 2019
Nov 21 2019
Nov 21 2019
wenzelm committed rISABELLEf7a9889068ff: added document antiquotation @{system_option};.
added document antiquotation @{system_option};
Nov 20 2019
Nov 20 2019
wenzelm committed rISABELLE2f782d5f5d5a: improved performance of session exports via bulk transactions;.
improved performance of session exports via bulk transactions;
wenzelm committed rISABELLE5ea3ed3c52b3: support for bulk operations: consume mailbox content in batches;.
support for bulk operations: consume mailbox content in batches;
wenzelm committed rISABELLEd6688677a784: clarified signature -- more explicit types;.
clarified signature -- more explicit types;
wenzelm committed rISABELLEb1c555d3cd71: tuned signature -- more operations;.
tuned signature -- more operations;
Nov 14 2019
Nov 14 2019
wenzelm committed rISABELLEe5984c853f77: more documentation;.
more documentation;
wenzelm committed rISABELLE1579a9160c7f: misc tuning and clarification;.
misc tuning and clarification;
wenzelm committed rISABELLEf79006c533b0: clarified errors: PHP daemon can fail under odd circumstances;.
clarified errors: PHP daemon can fail under odd circumstances;
wenzelm committed rISABELLEbeb781551a66: more sanity checks;.
more sanity checks;
wenzelm committed rISABELLE7dbadecdc118: just one isabelle-phabricator-phd service, which manages all processes….
just one isabelle-phabricator-phd service, which manages all processes…
wenzelm committed rISABELLE6ab4a5fb82e1: clarified signature: allow compound arg;.
clarified signature: allow compound arg;
wenzelm committed rISABELLE730090397e0d: clarified signature;.
clarified signature;
wenzelm committed rISABELLE2bc568573a47: updated to polyml-5.8.1-20191114: rebuilt on Windows with current msys2/mingw64;.
updated to polyml-5.8.1-20191114: rebuilt on Windows with current msys2/mingw64;
wenzelm committed rISABELLE2f6b092bbd25: updated MinGW installation: requires Cygwin from Isabelle2018 to avoid problems….
updated MinGW installation: requires Cygwin from Isabelle2018 to avoid problems…
wenzelm committed rISABELLE6cfec8029831: clarified signature;.
clarified signature;
Nov 13 2019
Nov 13 2019
wenzelm committed rISABELLE153ed199c0d4: updated to polyml-5.8.1-20191113 test version (Poly/ML 67e87c763417);.
updated to polyml-5.8.1-20191113 test version (Poly/ML 67e87c763417);
wenzelm committed rISABELLEeed5b6188371: more support for multiple daemons;.
more support for multiple daemons;
wenzelm committed rISABELLEcd166c3904dd: more robust: system ssh service is required for Phabricator ssh service;.
more robust: system ssh service is required for Phabricator ssh service;
wenzelm committed rISABELLE070a9b62f44a: removed obsolete material: already covered by documentation or tools;.
removed obsolete material: already covered by documentation or tools;
wenzelm committed rISABELLE8c1c717a830b: configure SSH hosting via "isabelle phabricator_setup_ssh";.
configure SSH hosting via "isabelle phabricator_setup_ssh";
wenzelm committed rISABELLE25c85cc3bc71: clarified signature;.
clarified signature;
Nov 12 2019
Nov 12 2019
wenzelm committed rISABELLEc6ad69448d6d: removed obsolete material -- already covered by "system" manual;.
removed obsolete material -- already covered by "system" manual;
wenzelm committed rISABELLEc073c4e79518: more documentation;.
more documentation;
wenzelm committed rISABELLEf31903cc57b0: clarified Console_Progress.echo: include empty lines as in other Progress….
clarified Console_Progress.echo: include empty lines as in other Progress…
wenzelm committed rISABELLE20c1b9516d27: documentation on Phabricator server administration;.
documentation on Phabricator server administration;
wenzelm committed rISABELLEd3ededaa77b3: added "isabelle phabricator";.
added "isabelle phabricator";
Nov 8 2019
Nov 8 2019
wenzelm committed rISABELLE06c6495fb1d0: retain type information from reconstruct_proof, notably for Export_Theory..
retain type information from reconstruct_proof, notably for Export_Theory.
wenzelm committed rISABELLE950e1cfe0fe4: tuned proofs -- more stable proof terms without [rule_format];.
tuned proofs -- more stable proof terms without [rule_format];
Nov 7 2019
Nov 7 2019
wenzelm committed rISABELLE995fe5877d53: tuned declarations for more compact proof terms;.
tuned declarations for more compact proof terms;
wenzelm committed rISABELLE5bb2235d843d: clarified command-line;.
clarified command-line;
wenzelm committed rISABELLE70205e023cb4: more messages -- expose potential database problems;.
more messages -- expose potential database problems;
wenzelm committed rISABELLE324c40205fc8: clarified errors: include stdout;.
clarified errors: include stdout;
wenzelm committed rISABELLEd61fd7aade69: clarified directory;.
clarified directory;
wenzelm committed rISABELLE79b89278b825: clarified permissions;.
clarified permissions;
Nov 6 2019
Nov 6 2019
wenzelm committed rISABELLE510b89906d86: discontinued somewhat pointless Isabelle options: setup implicitly assumes….
discontinued somewhat pointless Isabelle options: setup implicitly assumes…
wenzelm committed rISABELLE114db2b5a5f8: support for Phabricator mail configuration;.
support for Phabricator mail configuration;
Nov 5 2019
Nov 5 2019