Advanced Search
Use Results
Edit Query
Hide Query

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 rISABELLE4b45d592ce29: clarified modules;.

clarified modules;

wenzelm committed rISABELLE907b7a6471a0: tuned proofs;.

tuned proofs;

wenzelm committed rISABELLE77580c977e0c: more robust;.

more robust;

wenzelm committed rISABELLEaedd11603fb4: tuned modules;.

tuned modules;

wenzelm committed rISABELLE950e1cfe0fe4: tuned proofs -- more stable proof terms without [rule_format];.

tuned proofs -- more stable proof terms without [rule_format];

Nov 7 2019

wenzelm committed rISABELLE995fe5877d53: tuned declarations for more compact proof terms;.

tuned declarations for more compact proof terms;

Nov 7 2019, 4:31 PM

wenzelm committed rISABELLE45a1fcee14a0: prefer named facts;.

prefer named facts;

Nov 7 2019, 4:31 PM

wenzelm committed rISABELLE64249a83bc29: clarified contexts;.

clarified contexts;

Nov 7 2019, 4:31 PM

wenzelm committed rISABELLEe06852132c1d: tuned messages;.

tuned messages;

wenzelm committed rISABELLE5bb2235d843d: clarified command-line;.

clarified command-line;

wenzelm committed rISABELLE41b6ca223500: tuned messages;.

tuned messages;

wenzelm committed rISABELLE8ac137c65776: tuned messages;.

tuned messages;

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 rISABELLE22fcdadc404d: tuned;.

tuned;

wenzelm committed rISABELLE9ce299019d21: tuned message;.

tuned message;

wenzelm committed rISABELLE79b89278b825: clarified permissions;.

clarified permissions;

Nov 6 2019

wenzelm committed rISABELLE9314a4cc84ea: merged.

merged

wenzelm committed rISABELLE510b89906d86: discontinued somewhat pointless Isabelle options: setup implicitly assumes….

discontinued somewhat pointless Isabelle options: setup implicitly assumes…

wenzelm committed rISABELLE67cbf2e52785: unused;.

unused;

wenzelm committed rISABELLE114db2b5a5f8: support for Phabricator mail configuration;.

support for Phabricator mail configuration;

Nov 5 2019

wenzelm committed rISABELLE9b531e611d66: merged.

merged

wenzelm committed rISABELLE2965304143d8: more phabricator setup;.

more phabricator setup;

wenzelm committed rISABELLE6ca9e8377613: proper names for multiple installations;.

proper names for multiple installations;

wenzelm committed rISABELLEee3c43eb79ae: proper service name (again): it is specific to each installation;.

proper service name (again): it is specific to each installation;

wenzelm committed rISABELLEb64fc38327ae: prefer system user setup, e.g. avoid occurrence on login screen;.

prefer system user setup, e.g. avoid occurrence on login screen;

wenzelm committed rISABELLE27a998cdc0f4: back to plain name, to have it accepted my mysql;.

back to plain name, to have it accepted my mysql;

wenzelm committed rISABELLEba14aa0b5a5d: more robust: install PHP daemon after Apache;.

more robust: install PHP daemon after Apache;

wenzelm committed rISABELLE6bf53035baf0: clarified name prefixes: global config always uses "isabelle-phabricator";.

clarified name prefixes: global config always uses "isabelle-phabricator";

wenzelm committed rISABELLE8198ceef0301: more phabricator setup;.

more phabricator setup;

wenzelm committed rISABELLE4eeff87c5072: more phabricator setup;.

more phabricator setup;

wenzelm committed rISABELLEf4b9dd5ab0cc: more phabricator setup;.

more phabricator setup;

wenzelm committed rISABELLE5f02ecbb19d6: support for system services;.

support for system services;

wenzelm committed rISABELLE87c132cf5860: more options;.

more options;

wenzelm committed rISABELLEb8aeeedf7e68: support for Linux user management;.

support for Linux user management;

Nov 4 2019

wenzelm committed rISABELLE35a8e15b7e03: more robust Thm.expose_theory -- ensure that PIDE export happens in the proper….

more robust Thm.expose_theory -- ensure that PIDE export happens in the proper…

wenzelm committed rISABELLE38bed2483e6a: proper message (amending 94442fce40a5);.

proper message (amending 94442fce40a5);

wenzelm committed rISABELLEb697dd74221a: tuned;.

tuned;

wenzelm committed rISABELLE6504ea98623c: uniform "prune_proofs" for Thm_Node / PThm, but it is in conflict with….

uniform "prune_proofs" for Thm_Node / PThm, but it is in conflict with…

wenzelm committed rISABELLE4003da7e6a79: updated xml_size;.

updated xml_size;

wenzelm committed rISABELLEc9f5f724abc0: prefer named result;.

prefer named result;

wenzelm committed rISABELLEd32ed8927a42: more robust expose_proofs corresponding to register_proofs/consolidate_theory;.

more robust expose_proofs corresponding to register_proofs/consolidate_theory;

Nov 3 2019

wenzelm committed rISABELLEc85efa2be619: expose derivations more thoroughly, notably for locale/class reasoning;.

expose derivations more thoroughly, notably for locale/class reasoning;

wenzelm committed rISABELLEbb49abc2ecbb: determine proof boxes from exported proof (NB: thm_boxes is not sufficient due….

determine proof boxes from exported proof (NB: thm_boxes is not sufficient due…

wenzelm committed rISABELLEb05d78bfc67c: clarified errors;.

clarified errors;

wenzelm committed rISABELLE58022ee70b35: more operations;.

more operations;

wenzelm committed rISABELLEbfa1017b4553: tuned whitespace;.

tuned whitespace;

wenzelm committed rISABELLE73f14e0b7151: more robust;.

more robust;

wenzelm committed rISABELLE2c96e48027eb: clarified modules;.

clarified modules;

wenzelm committed rISABELLEbe689b7d81fd: clarified signature -- more options;.

clarified signature -- more options;

Nov 2 2019

wenzelm committed rISABELLE15129c2f4a33: proper theory for export_proofs;.

proper theory for export_proofs;

Nov 2 2019, 11:56 PM

wenzelm committed rISABELLE41685289b8eb: tuned signature;.

tuned signature;

Nov 2 2019, 11:56 PM

wenzelm committed rISABELLE699ff83813c0: proper graph traversal -- avoid exponential blowup (amending 71d1971d67ad);.

proper graph traversal -- avoid exponential blowup (amending 71d1971d67ad);

Nov 2 2019, 9:10 PM

wenzelm committed rISABELLE7926d2fc3c4c: back to more elementary Buffer.T -- less intermediate garbage;.

back to more elementary Buffer.T -- less intermediate garbage;

wenzelm committed rISABELLE325247f32da9: unused;.

unused;

wenzelm committed rISABELLEebdfd6c43e56: unused;.

unused;

wenzelm committed rISABELLEff11af12dfdd: clarified signature;.

clarified signature;

wenzelm committed rISABELLE2c17fa0f5187: more direct output of XML material -- bypass Buffer.T;.

more direct output of XML material -- bypass Buffer.T;

wenzelm committed rISABELLE2e610951f79a: tuned;.

tuned;

wenzelm committed rISABELLEe7dfc505de1b: more direct output of XML material -- bypass Buffer.T;.

more direct output of XML material -- bypass Buffer.T;

wenzelm committed rISABELLEf9f7c34b7dd4: more scalable protocol_message: use XML.body directly (Output.output hook is….

more scalable protocol_message: use XML.body directly (Output.output hook is…

wenzelm committed rISABELLEe5e34bd28257: clarified signature;.

clarified signature;

wenzelm committed rISABELLE64a20b562e63: tuned;.

tuned;

Nov 1 2019

wenzelm committed rISABELLE38ade730f6df: updated to polyml-5.8.1-20191101 test version;.

updated to polyml-5.8.1-20191101 test version;

Nov 1 2019, 8:09 PM

wenzelm committed rISABELLE6178ecf357a0: merged.

merged

wenzelm committed rISABELLE5e98925f86ed: clarified signature (again);.

clarified signature (again);

wenzelm committed rISABELLE2866fee241ee: proper export of unnamed proof boxes for unnamed toplevel declarations, e.g..

proper export of unnamed proof boxes for unnamed toplevel declarations, e.g.

wenzelm committed rISABELLEd8a7df9fdd03: more operations;.

more operations;

wenzelm committed rISABELLE52a62342c9ce: clarified signature;.

clarified signature;

wenzelm committed rISABELLEa802d42c00bc: avoid redundant proof boxes for application sessions;.

avoid redundant proof boxes for application sessions;

wenzelm committed rISABELLE71d1971d67ad: make double-sure that internal proof boxes are exported, e.g. in Pure;.

make double-sure that internal proof boxes are exported, e.g. in Pure;

wenzelm committed rISABELLE9dab828cbbc1: clarified modules (again);.

clarified modules (again);

wenzelm committed rISABELLE7abe5abb4c05: more detailed proof term output;.

more detailed proof term output;

wenzelm committed rISABELLE397533bf0c3f: clarified error;.

clarified error;

wenzelm committed rISABELLEa1c137961c12: tuned signature;.

tuned signature;

wenzelm committed rISABELLEd86798eddc14: more accurate proof_boxes -- from actual proof body;.

more accurate proof_boxes -- from actual proof body;

wenzelm committed rISABELLE19818f99b4ae: clarified signature;.

clarified signature;

wenzelm committed rISABELLE3ee90f831805: clarified signature;.

clarified signature;

Oct 30 2019

wenzelm committed rISABELLE80dfc9a2f9c8: more packages;.

more packages;

wenzelm committed rISABELLEa48112873f81: MySQL setup;.

MySQL setup;

wenzelm committed rISABELLE46847076477c: Apache setup;.

Apache setup;

wenzelm committed rISABELLE79736ffe77c3: some support for Phabricator server;.

some support for Phabricator server;

wenzelm committed rISABELLEacc3bac0d7c5: support for Linux packages;.

support for Linux packages;

wenzelm committed rISABELLEfe9496df6298: specific support for Linux, notably Ubuntu/Debian;.

specific support for Linux, notably Ubuntu/Debian;