Page MenuHomePhabricator
Feed Advanced Search

Today

wenzelm committed rISABELLEb1f3e86a4745: clarified signature: store full theory name;.
clarified signature: store full theory name;
Mon, Dec 9, 11:22 AM

Fri, Dec 6

wenzelm committed rISABELLEa9ad4a954cb7: merged.
merged
Fri, Dec 6, 8:29 PM
wenzelm committed rISABELLEa62431901140: suppress record types: not working properly;.
suppress record types: not working properly;
Fri, Dec 6, 8:29 PM
wenzelm committed rISABELLEc5914bdd896b: removed junk;.
removed junk;
Fri, Dec 6, 8:29 PM
wenzelm committed rISABELLE297d24fb262c: discontinued somewhat pointless options;.
discontinued somewhat pointless options;
Fri, Dec 6, 8:29 PM
wenzelm committed rISABELLE877316c54ed3: clarified signature;.
clarified signature;
Fri, Dec 6, 8:29 PM
wenzelm committed rISABELLEbd93c71521a0: tuned signature;.
tuned signature;
Fri, Dec 6, 8:29 PM
wenzelm committed rISABELLEadf5e53d2b2b: export datatypes;.
export datatypes;
Fri, Dec 6, 8:29 PM
wenzelm committed rISABELLE6e0ff949073e: clarified modules;.
clarified modules;
Fri, Dec 6, 8:29 PM
wenzelm committed rISABELLE30db0523f9b0: misc tuning and clarification: proper check of datatype kind;.
misc tuning and clarification: proper check of datatype kind;
Fri, Dec 6, 8:29 PM
wenzelm committed rISABELLEe5664a75f4b5: clarified modules;.
clarified modules;
Fri, Dec 6, 8:29 PM

Wed, Dec 4

wenzelm committed rISABELLE7b9ff966974f: merged.
merged
Wed, Dec 4, 8:08 PM
wenzelm committed rISABELLEdafa5fce70f1: clarified messages streaming (again, amending 5ea3ed3c52b3): avoid too many….
clarified messages streaming (again, amending 5ea3ed3c52b3): avoid too many…
Wed, Dec 4, 8:08 PM

Tue, Dec 3

wenzelm committed rISABELLEd411d5c84a4b: merged.
merged
Tue, Dec 3, 7:37 PM
wenzelm committed rISABELLE2bc39c80a95d: clarified export of consts: recursion is accessible via spec_rules;.
clarified export of consts: recursion is accessible via spec_rules;
Tue, Dec 3, 7:37 PM
wenzelm committed rISABELLE4dfb7c937126: more operations;.
more operations;
Tue, Dec 3, 7:37 PM
wenzelm committed rAFP801b10285bb6: merged.
merged
Tue, Dec 3, 3:36 PM
wenzelm committed rAFPde5e63a46b97: adapted to Isabelle/5727bcc3c47c;.
adapted to Isabelle/5727bcc3c47c;
Tue, Dec 3, 3:36 PM
wenzelm committed rISABELLE35e465677a26: merged.
merged
Tue, Dec 3, 3:35 PM
wenzelm committed rISABELLE73b313432d8a: clarified position for spec rule: like entity;.
clarified position for spec rule: like entity;
Tue, Dec 3, 3:35 PM
wenzelm committed rISABELLE2dee5cd42fde: clarified name: avoid clashes;.
clarified name: avoid clashes;
Tue, Dec 3, 3:35 PM
wenzelm committed rISABELLE37eb175895c5: proper treatment of variable names;.
proper treatment of variable names;
Tue, Dec 3, 3:35 PM
wenzelm committed rISABELLEe64c249d3d98: proper dynamic position of application context, e.g. relevant for….
proper dynamic position of application context, e.g. relevant for…
Tue, Dec 3, 3:35 PM
wenzelm committed rISABELLE39ccdbbed539: more informative spec rules;.
more informative spec rules;
Tue, Dec 3, 3:35 PM
wenzelm committed rISABELLE5727bcc3c47c: proper spec_rule name via naming/binding/Morphism.binding;.
proper spec_rule name via naming/binding/Morphism.binding;
Tue, Dec 3, 3:35 PM
wenzelm committed rISABELLE475510f1a280: more robust;.
more robust;
Tue, Dec 3, 3:35 PM
wenzelm committed rISABELLE7d522732b7f2: more informative export;.
more informative export;
Tue, Dec 3, 3:35 PM
wenzelm committed rISABELLE8508cc7f79aa: tuned comment;.
tuned comment;
Tue, Dec 3, 3:35 PM
wenzelm committed rISABELLE66fa99c85095: tuned signature -- following Export_Theory.Spec_Rule in Scala;.
tuned signature -- following Export_Theory.Spec_Rule in Scala;
Tue, Dec 3, 3:35 PM
wenzelm committed rISABELLE5e0050eb64f2: clarified export of spec rules: more like locale;.
clarified export of spec rules: more like locale;
Tue, Dec 3, 3:35 PM
wenzelm committed rISABELLE8af82f3e03c9: formal position for spec rule (not significant for equality);.
formal position for spec rule (not significant for equality);
Tue, Dec 3, 3:35 PM
wenzelm committed rISABELLE20dce31fe7f4: proper spec rules via resulting def_thm, e.g. relevant for "isabelle build -o….
proper spec rules via resulting def_thm, e.g. relevant for "isabelle build -o…
Tue, Dec 3, 3:35 PM
wenzelm committed rISABELLE95e12ecdcb5f: proper spec rules via fun_lhs, e.g. relevant for "isabelle build -o….
proper spec rules via fun_lhs, e.g. relevant for "isabelle build -o…
Tue, Dec 3, 3:35 PM
wenzelm committed rISABELLEabb0d984abbc: tuned -- avoid confusion of fun_t with fun_lhs;.
tuned -- avoid confusion of fun_t with fun_lhs;
Tue, Dec 3, 3:35 PM
wenzelm committed rISABELLEeb5591ca90da: avoid shadowing of local bindings -- more maintainable;.
avoid shadowing of local bindings -- more maintainable;
Tue, Dec 3, 3:35 PM
wenzelm committed rISABELLE785610ad6bfa: export spec rules;.
export spec rules;
Tue, Dec 3, 3:35 PM

Sun, Dec 1

makarius closed T6: Proper app support for macOS 10.15 Catalina as Resolved.

Works sufficiently well according to Isabelle website a34d4206d9a9.

Sun, Dec 1, 9:34 PM · isabelle-release
wenzelm committed rWEBSITEa34d4206d9a9: clarified treatment of security settings;.
clarified treatment of security settings;
Sun, Dec 1, 9:29 PM

Sat, Nov 30

makarius added a comment to T6: Proper app support for macOS 10.15 Catalina.

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?

Sat, Nov 30, 11:51 AM · isabelle-release

Fri, Nov 29

makarius triaged T6: Proper app support for macOS 10.15 Catalina as High priority.
Fri, Nov 29, 10:52 PM · isabelle-release
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);
Fri, Nov 29, 10:44 PM
wenzelm committed rISABELLE65192ac7eaf2: merged.
merged
Fri, Nov 29, 10:05 PM
wenzelm committed rISABELLE592e2afdd50c: more informative spec rules: optional name;.
more informative spec rules: optional name;
Fri, Nov 29, 10:05 PM
wenzelm committed rISABELLEc7d4f2ab40b9: proper theory context, e.g. for Thm.transfer;.
proper theory context, e.g. for Thm.transfer;
Fri, Nov 29, 10:05 PM
wenzelm committed rISABELLE71467e35fc3c: more structural integrity;.
more structural integrity;
Fri, Nov 29, 10:05 PM
wenzelm committed rAFP78025c98b739: adapted to Isabelle/592e2afdd50c;.
adapted to Isabelle/592e2afdd50c;
Fri, Nov 29, 9:57 PM

Wed, Nov 27

wenzelm committed rAFP6128683958ca: more realistic timeout;.
more realistic timeout;
Wed, Nov 27, 1:14 PM

Mon, Nov 25

wenzelm committed rISABELLE03afc8252225: support for output messages;.
support for output messages;
Mon, Nov 25, 1:35 PM
wenzelm committed rISABELLEa21a29de5f57: tuned;.
tuned;
Mon, Nov 25, 1:35 PM
wenzelm committed rISABELLEb5822f4c3fde: tuned -- avoid deprecated constructors;.
tuned -- avoid deprecated constructors;
Mon, Nov 25, 1:35 PM
wenzelm committed rISABELLE4b3e1b859a22: tuned signature;.
tuned signature;
Mon, Nov 25, 1:35 PM
wenzelm committed rISABELLEffccc1f346ae: avoid vacuous session Pure -- dump does not read_pure_theory;.
avoid vacuous session Pure -- dump does not read_pure_theory;
Mon, Nov 25, 11:10 AM

Sun, Nov 24

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);
Sun, Nov 24, 11:32 PM
wenzelm committed rISABELLE6b03ce9b02c7: clarified vacuous selection vs. Pure;.
clarified vacuous selection vs. Pure;
Sun, Nov 24, 4:07 PM
wenzelm committed rISABELLE1c58a01a372e: tuned signature;.
tuned signature;
Sun, Nov 24, 4:07 PM

Sat, Nov 23

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…
Sat, Nov 23, 4:25 PM
wenzelm committed rISABELLE25b872d1d421: clarified signature;.
clarified signature;
Sat, Nov 23, 4:25 PM
wenzelm committed rISABELLE7db80bd16f1c: tuned proofs;.
tuned proofs;
Sat, Nov 23, 4:25 PM
wenzelm committed rISABELLE8563046f15c3: clarified error: tmp file can be invalid in odd situations;.
clarified error: tmp file can be invalid in odd situations;
Sat, Nov 23, 4:25 PM
wenzelm committed rISABELLEf2d848a596d1: more robust: file length can be invalid in odd situations;.
more robust: file length can be invalid in odd situations;
Sat, Nov 23, 4:25 PM
wenzelm committed rISABELLE69a22ccd1817: tuned;.
tuned;
Sat, Nov 23, 4:24 PM

Fri, Nov 22

makarius added a member for isabelle-repository: blanchette.
Fri, Nov 22, 10:27 PM

Thu, Nov 21

wenzelm committed rISABELLE2e46c0b4042d: tuned;.
tuned;
Thu, Nov 21, 3:23 PM
wenzelm committed rISABELLEf7a9889068ff: added document antiquotation @{system_option};.
added document antiquotation @{system_option};
Thu, Nov 21, 1:48 PM

Wed, Nov 20

wenzelm committed rISABELLEd6b9dead8c8d: tuned signature;.
tuned signature;
Wed, Nov 20, 9:01 PM
wenzelm committed rISABELLE2f782d5f5d5a: improved performance of session exports via bulk transactions;.
improved performance of session exports via bulk transactions;
Wed, Nov 20, 9:01 PM
wenzelm committed rISABELLE5ea3ed3c52b3: support for bulk operations: consume mailbox content in batches;.
support for bulk operations: consume mailbox content in batches;
Wed, Nov 20, 9:01 PM
wenzelm committed rISABELLEd6688677a784: clarified signature -- more explicit types;.
clarified signature -- more explicit types;
Wed, Nov 20, 9:01 PM
wenzelm committed rISABELLEb1c555d3cd71: tuned signature -- more operations;.
tuned signature -- more operations;
Wed, Nov 20, 9:01 PM
makarius added a member for isabelle-repository: pruvisto.
Wed, Nov 20, 10:48 AM

Thu, Nov 14

wenzelm committed rISABELLE781b15f53098: more packages;.
more packages;
Thu, Nov 14, 10:59 PM
wenzelm committed rISABELLE81536e5d8ea7: NEWS;.
NEWS;
Thu, Nov 14, 10:38 PM
wenzelm committed rISABELLE962eda254ac4: more examples;.
more examples;
Thu, Nov 14, 10:38 PM
wenzelm committed rISABELLEe5984c853f77: more documentation;.
more documentation;
Thu, Nov 14, 10:38 PM
wenzelm committed rISABELLE1579a9160c7f: misc tuning and clarification;.
misc tuning and clarification;
Thu, Nov 14, 10:38 PM
wenzelm committed rISABELLE3e61534e804e: merged.
merged
Thu, Nov 14, 4:33 PM
wenzelm committed rISABELLE557703db74c3: tuned PHP setup;.
tuned PHP setup;
Thu, Nov 14, 4:33 PM
wenzelm committed rISABELLEf79006c533b0: clarified errors: PHP daemon can fail under odd circumstances;.
clarified errors: PHP daemon can fail under odd circumstances;
Thu, Nov 14, 4:33 PM
wenzelm committed rISABELLE0ad53b5f2bb1: more robust;.
more robust;
Thu, Nov 14, 4:33 PM
wenzelm committed rISABELLE18f87bdbc812: tuned message;.
tuned message;
Thu, Nov 14, 4:33 PM
wenzelm committed rISABELLEbeb781551a66: more sanity checks;.
more sanity checks;
Thu, Nov 14, 4:33 PM
wenzelm committed rISABELLE7dbadecdc118: just one isabelle-phabricator-phd service, which manages all processes….
just one isabelle-phabricator-phd service, which manages all processes…
Thu, Nov 14, 4:33 PM
wenzelm committed rISABELLE6ab4a5fb82e1: clarified signature: allow compound arg;.
clarified signature: allow compound arg;
Thu, Nov 14, 4:33 PM
wenzelm committed rISABELLE730090397e0d: clarified signature;.
clarified signature;
Thu, Nov 14, 4:33 PM
wenzelm committed rISABELLE30ed6786d775: more portable;.
more portable;
Thu, Nov 14, 12:45 PM
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;
Thu, Nov 14, 11:59 AM
wenzelm committed rISABELLE2f6b092bbd25: updated MinGW installation: requires Cygwin from Isabelle2018 to avoid problems….
updated MinGW installation: requires Cygwin from Isabelle2018 to avoid problems…
Thu, Nov 14, 11:59 AM
wenzelm committed rISABELLEaa1338a778c1: tuned;.
tuned;
Thu, Nov 14, 11:59 AM
wenzelm committed rISABELLE3199c08e6413: tuned;.
tuned;
Thu, Nov 14, 11:59 AM
wenzelm committed rISABELLE6cfec8029831: clarified signature;.
clarified signature;
Thu, Nov 14, 11:59 AM

Wed, Nov 13

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);
Wed, Nov 13, 9:05 PM
wenzelm committed rISABELLEeed5b6188371: more support for multiple daemons;.
more support for multiple daemons;
Wed, Nov 13, 9:05 PM
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;
Wed, Nov 13, 9:04 PM
wenzelm committed rISABELLE070a9b62f44a: removed obsolete material: already covered by documentation or tools;.
removed obsolete material: already covered by documentation or tools;
Wed, Nov 13, 9:04 PM
wenzelm committed rISABELLE8c1c717a830b: configure SSH hosting via "isabelle phabricator_setup_ssh";.
configure SSH hosting via "isabelle phabricator_setup_ssh";
Wed, Nov 13, 9:04 PM
wenzelm committed rISABELLE783d5786255d: more robust;.
more robust;
Wed, Nov 13, 9:04 PM
wenzelm committed rISABELLE25c85cc3bc71: clarified signature;.
clarified signature;
Wed, Nov 13, 9:04 PM

Tue, Nov 12

wenzelm committed rISABELLEc6ad69448d6d: removed obsolete material -- already covered by "system" manual;.
removed obsolete material -- already covered by "system" manual;
Tue, Nov 12, 10:16 PM
wenzelm committed rISABELLE1159e52e5b05: tuned;.
tuned;
Tue, Nov 12, 10:16 PM
makarius closed T1: Support for Mercurial tags as Wontfix.
Tue, Nov 12, 8:39 PM · phabricator-setup