Page MenuHomePhabricator

makarius (Makarius Wenzel)
UserAdministrator

User Details

User Since
Sep 24 2019, 9:33 PM (6 w, 6 d)
Roles
Administrator

Recent Activity

Fri, Nov 8

wenzelm committed rISABELLE3c04a52c422a: tuned comments;.
tuned comments;
Fri, Nov 8, 9:48 PM
wenzelm committed rISABELLEfd82d53c1761: merged.
merged
Fri, Nov 8, 8:51 PM
wenzelm committed rISABELLE06c6495fb1d0: retain type information from reconstruct_proof, notably for Export_Theory..
retain type information from reconstruct_proof, notably for Export_Theory.
Fri, Nov 8, 8:51 PM
wenzelm committed rISABELLE4b45d592ce29: clarified modules;.
clarified modules;
Fri, Nov 8, 8:51 PM
wenzelm committed rISABELLE907b7a6471a0: tuned proofs;.
tuned proofs;
Fri, Nov 8, 8:51 PM
wenzelm committed rISABELLE77580c977e0c: more robust;.
more robust;
Fri, Nov 8, 8:51 PM
wenzelm committed rISABELLEaedd11603fb4: tuned modules;.
tuned modules;
Fri, Nov 8, 8:51 PM
wenzelm committed rISABELLE950e1cfe0fe4: tuned proofs -- more stable proof terms without [rule_format];.
tuned proofs -- more stable proof terms without [rule_format];
Fri, Nov 8, 8:51 PM

Thu, Nov 7

wenzelm committed rISABELLE995fe5877d53: tuned declarations for more compact proof terms;.
tuned declarations for more compact proof terms;
Thu, Nov 7, 4:31 PM
wenzelm committed rISABELLE45a1fcee14a0: prefer named facts;.
prefer named facts;
Thu, Nov 7, 4:31 PM
wenzelm committed rISABELLE64249a83bc29: clarified contexts;.
clarified contexts;
Thu, Nov 7, 4:31 PM
wenzelm committed rISABELLEe06852132c1d: tuned messages;.
tuned messages;
Thu, Nov 7, 11:59 AM
wenzelm committed rISABELLE5bb2235d843d: clarified command-line;.
clarified command-line;
Thu, Nov 7, 11:59 AM
wenzelm committed rISABELLE41b6ca223500: tuned messages;.
tuned messages;
Thu, Nov 7, 11:59 AM
wenzelm committed rISABELLE8ac137c65776: tuned messages;.
tuned messages;
Thu, Nov 7, 11:59 AM
wenzelm committed rISABELLE70205e023cb4: more messages -- expose potential database problems;.
more messages -- expose potential database problems;
Thu, Nov 7, 11:59 AM
wenzelm committed rISABELLE324c40205fc8: clarified errors: include stdout;.
clarified errors: include stdout;
Thu, Nov 7, 11:59 AM
wenzelm committed rISABELLEd61fd7aade69: clarified directory;.
clarified directory;
Thu, Nov 7, 11:59 AM
wenzelm committed rISABELLE22fcdadc404d: tuned;.
tuned;
Thu, Nov 7, 11:59 AM
wenzelm committed rISABELLE9ce299019d21: tuned message;.
tuned message;
Thu, Nov 7, 11:59 AM
wenzelm committed rISABELLE79b89278b825: clarified permissions;.
clarified permissions;
Thu, Nov 7, 11:59 AM

Wed, Nov 6

wenzelm committed rISABELLE9314a4cc84ea: merged.
merged
Wed, Nov 6, 11:55 PM
wenzelm committed rISABELLE510b89906d86: discontinued somewhat pointless Isabelle options: setup implicitly assumes….
discontinued somewhat pointless Isabelle options: setup implicitly assumes…
Wed, Nov 6, 11:55 PM
wenzelm committed rISABELLE67cbf2e52785: unused;.
unused;
Wed, Nov 6, 11:55 PM
wenzelm committed rISABELLE114db2b5a5f8: support for Phabricator mail configuration;.
support for Phabricator mail configuration;
Wed, Nov 6, 11:55 PM

Tue, Nov 5

wenzelm committed rISABELLE9b531e611d66: merged.
merged
Tue, Nov 5, 11:10 PM
wenzelm committed rISABELLE2965304143d8: more phabricator setup;.
more phabricator setup;
Tue, Nov 5, 11:10 PM
wenzelm committed rISABELLE6ca9e8377613: proper names for multiple installations;.
proper names for multiple installations;
Tue, Nov 5, 11:10 PM
wenzelm committed rISABELLEee3c43eb79ae: proper service name (again): it is specific to each installation;.
proper service name (again): it is specific to each installation;
Tue, Nov 5, 11:10 PM
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;
Tue, Nov 5, 11:10 PM
wenzelm committed rISABELLE27a998cdc0f4: back to plain name, to have it accepted my mysql;.
back to plain name, to have it accepted my mysql;
Tue, Nov 5, 11:10 PM
wenzelm committed rISABELLEba14aa0b5a5d: more robust: install PHP daemon after Apache;.
more robust: install PHP daemon after Apache;
Tue, Nov 5, 11:10 PM
wenzelm committed rISABELLE6bf53035baf0: clarified name prefixes: global config always uses "isabelle-phabricator";.
clarified name prefixes: global config always uses "isabelle-phabricator";
Tue, Nov 5, 11:10 PM
wenzelm committed rISABELLE8198ceef0301: more phabricator setup;.
more phabricator setup;
Tue, Nov 5, 11:10 PM
wenzelm committed rISABELLE4eeff87c5072: more phabricator setup;.
more phabricator setup;
Tue, Nov 5, 11:10 PM
wenzelm committed rISABELLEf4b9dd5ab0cc: more phabricator setup;.
more phabricator setup;
Tue, Nov 5, 11:10 PM
wenzelm committed rISABELLE5f02ecbb19d6: support for system services;.
support for system services;
Tue, Nov 5, 11:10 PM
wenzelm committed rISABELLE87c132cf5860: more options;.
more options;
Tue, Nov 5, 11:10 PM
wenzelm committed rISABELLEb8aeeedf7e68: support for Linux user management;.
support for Linux user management;
Tue, Nov 5, 11:10 PM

Mon, Nov 4

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…
Mon, Nov 4, 8:54 PM
wenzelm committed rISABELLE38bed2483e6a: proper message (amending 94442fce40a5);.
proper message (amending 94442fce40a5);
Mon, Nov 4, 8:54 PM
wenzelm committed rISABELLEb697dd74221a: tuned;.
tuned;
Mon, Nov 4, 8:54 PM
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…
Mon, Nov 4, 8:54 PM
wenzelm committed rISABELLE4003da7e6a79: updated xml_size;.
updated xml_size;
Mon, Nov 4, 8:54 PM
wenzelm committed rISABELLEc9f5f724abc0: prefer named result;.
prefer named result;
Mon, Nov 4, 8:54 PM
wenzelm committed rISABELLEd32ed8927a42: more robust expose_proofs corresponding to register_proofs/consolidate_theory;.
more robust expose_proofs corresponding to register_proofs/consolidate_theory;
Mon, Nov 4, 8:54 PM

Sun, Nov 3

wenzelm committed rISABELLEc85efa2be619: expose derivations more thoroughly, notably for locale/class reasoning;.
expose derivations more thoroughly, notably for locale/class reasoning;
Sun, Nov 3, 8:59 PM
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…
Sun, Nov 3, 8:59 PM
wenzelm committed rISABELLEb05d78bfc67c: clarified errors;.
clarified errors;
Sun, Nov 3, 8:59 PM
wenzelm committed rISABELLE58022ee70b35: more operations;.
more operations;
Sun, Nov 3, 8:59 PM
wenzelm committed rISABELLEbfa1017b4553: tuned whitespace;.
tuned whitespace;
Sun, Nov 3, 8:59 PM
wenzelm committed rISABELLE73f14e0b7151: more robust;.
more robust;
Sun, Nov 3, 8:59 PM
wenzelm committed rISABELLE2c96e48027eb: clarified modules;.
clarified modules;
Sun, Nov 3, 8:59 PM
wenzelm committed rISABELLEbe689b7d81fd: clarified signature -- more options;.
clarified signature -- more options;
Sun, Nov 3, 8:59 PM

Sat, Nov 2

wenzelm committed rISABELLE15129c2f4a33: proper theory for export_proofs;.
proper theory for export_proofs;
Sat, Nov 2, 11:56 PM
wenzelm committed rISABELLE41685289b8eb: tuned signature;.
tuned signature;
Sat, Nov 2, 11:56 PM
wenzelm committed rISABELLE699ff83813c0: proper graph traversal -- avoid exponential blowup (amending 71d1971d67ad);.
proper graph traversal -- avoid exponential blowup (amending 71d1971d67ad);
Sat, Nov 2, 9:10 PM
wenzelm committed rISABELLE7926d2fc3c4c: back to more elementary Buffer.T -- less intermediate garbage;.
back to more elementary Buffer.T -- less intermediate garbage;
Sat, Nov 2, 2:21 PM
wenzelm committed rISABELLE325247f32da9: unused;.
unused;
Sat, Nov 2, 2:21 PM
wenzelm committed rISABELLEebdfd6c43e56: unused;.
unused;
Sat, Nov 2, 2:21 PM
wenzelm committed rISABELLEff11af12dfdd: clarified signature;.
clarified signature;
Sat, Nov 2, 2:21 PM
wenzelm committed rISABELLE2c17fa0f5187: more direct output of XML material -- bypass Buffer.T;.
more direct output of XML material -- bypass Buffer.T;
Sat, Nov 2, 2:21 PM
wenzelm committed rISABELLE2e610951f79a: tuned;.
tuned;
Sat, Nov 2, 2:21 PM
wenzelm committed rISABELLEe7dfc505de1b: more direct output of XML material -- bypass Buffer.T;.
more direct output of XML material -- bypass Buffer.T;
Sat, Nov 2, 2:21 PM
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…
Sat, Nov 2, 2:21 PM
wenzelm committed rISABELLEe5e34bd28257: clarified signature;.
clarified signature;
Sat, Nov 2, 2:21 PM
wenzelm committed rISABELLE64a20b562e63: tuned;.
tuned;
Sat, Nov 2, 2:21 PM

Fri, Nov 1

wenzelm committed rISABELLE38ade730f6df: updated to polyml-5.8.1-20191101 test version;.
updated to polyml-5.8.1-20191101 test version;
Fri, Nov 1, 8:09 PM
wenzelm committed rISABELLE6178ecf357a0: merged.
merged
Fri, Nov 1, 6:59 PM
wenzelm committed rISABELLE5e98925f86ed: clarified signature (again);.
clarified signature (again);
Fri, Nov 1, 6:59 PM
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.
Fri, Nov 1, 6:59 PM
wenzelm committed rISABELLEd8a7df9fdd03: more operations;.
more operations;
Fri, Nov 1, 6:59 PM
wenzelm committed rISABELLE52a62342c9ce: clarified signature;.
clarified signature;
Fri, Nov 1, 6:59 PM
wenzelm committed rISABELLEa802d42c00bc: avoid redundant proof boxes for application sessions;.
avoid redundant proof boxes for application sessions;
Fri, Nov 1, 6:59 PM
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;
Fri, Nov 1, 6:59 PM
wenzelm committed rISABELLE9dab828cbbc1: clarified modules (again);.
clarified modules (again);
Fri, Nov 1, 6:59 PM
wenzelm committed rISABELLE7abe5abb4c05: more detailed proof term output;.
more detailed proof term output;
Fri, Nov 1, 6:59 PM
wenzelm committed rISABELLE397533bf0c3f: clarified error;.
clarified error;
Fri, Nov 1, 6:59 PM
wenzelm committed rISABELLEa1c137961c12: tuned signature;.
tuned signature;
Fri, Nov 1, 6:59 PM
wenzelm committed rISABELLEd86798eddc14: more accurate proof_boxes -- from actual proof body;.
more accurate proof_boxes -- from actual proof body;
Fri, Nov 1, 6:59 PM
wenzelm committed rISABELLE19818f99b4ae: clarified signature;.
clarified signature;
Fri, Nov 1, 6:59 PM
wenzelm committed rISABELLE3ee90f831805: clarified signature;.
clarified signature;
Fri, Nov 1, 6:59 PM

Wed, Oct 30

wenzelm committed rISABELLE80dfc9a2f9c8: more packages;.
more packages;
Wed, Oct 30, 9:22 PM
wenzelm committed rISABELLEa48112873f81: MySQL setup;.
MySQL setup;
Wed, Oct 30, 9:22 PM
wenzelm committed rISABELLE46847076477c: Apache setup;.
Apache setup;
Wed, Oct 30, 9:22 PM
wenzelm committed rISABELLE79736ffe77c3: some support for Phabricator server;.
some support for Phabricator server;
Wed, Oct 30, 9:22 PM
wenzelm committed rISABELLEacc3bac0d7c5: support for Linux packages;.
support for Linux packages;
Wed, Oct 30, 9:22 PM
wenzelm committed rISABELLEfe9496df6298: specific support for Linux, notably Ubuntu/Debian;.
specific support for Linux, notably Ubuntu/Debian;
Wed, Oct 30, 9:22 PM

Mon, Oct 28

makarius added a member for isabelle-repository: immler.
Mon, Oct 28, 9:24 PM
wenzelm committed rISABELLE99eec58dc551: proper home directory, required for $HOME/.ssh setup;.
proper home directory, required for $HOME/.ssh setup;
Mon, Oct 28, 8:51 PM
wenzelm committed rISABELLEbbe5fe8bba71: merged.
merged
Mon, Oct 28, 8:40 PM
wenzelm committed rISABELLEe8207714d505: proper file name: .ML is mandatory for Isabelle/ML files;.
proper file name: .ML is mandatory for Isabelle/ML files;
Mon, Oct 28, 8:40 PM

Sat, Oct 26

wenzelm committed rISABELLE5ed8c7e826a2: proper order of variables, independently of varify/unvarify state -- relevant….
proper order of variables, independently of varify/unvarify state -- relevant…
Sat, Oct 26, 7:53 PM

Fri, Oct 25

wenzelm committed rISABELLEb62bb9a61abc: merged.
merged
Fri, Oct 25, 7:13 PM
wenzelm committed rISABELLE79d23e6436d0: clarified session_graph_display: restrict sessions to actually required….
clarified session_graph_display: restrict sessions to actually required…
Fri, Oct 25, 7:13 PM

Tue, Oct 22

wenzelm committed rISABELLE15758fced053: no printing of axioms -- too bulky;.
no printing of axioms -- too bulky;
Tue, Oct 22, 9:12 PM
wenzelm committed rISABELLE98d9b78b7f47: clarified axiom_table: uniform space (e.g. like consts), e.g. relevant for….
clarified axiom_table: uniform space (e.g. like consts), e.g. relevant for…
Tue, Oct 22, 9:12 PM
wenzelm committed rISABELLE539dfd4c166b: more conservative type names, e.g. relevant for Isabelle/MMT export;.
more conservative type names, e.g. relevant for Isabelle/MMT export;
Tue, Oct 22, 8:12 PM
wenzelm committed rISABELLE05810acd4858: clarified types (again): 'a is canonical for 'class' (as alternative to….
clarified types (again): 'a is canonical for 'class' (as alternative to…
Tue, Oct 22, 11:25 AM

Mon, Oct 21

wenzelm committed rISABELLE1e0ad25c94c8: export constdefs according to defs.ML;.
export constdefs according to defs.ML;
Mon, Oct 21, 8:27 PM