Page MenuHomeIsabelle/Phabricator

makarius (Makarius Wenzel)
UserAdministrator

User Details

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

Recent Activity

Yesterday

makarius committed rISABELLEd76b0f29c8fd: recovered document output from 6bc199a70bf9;.
recovered document output from 6bc199a70bf9;
Wed, Nov 25, 9:41 PM
makarius committed rISABELLEfabd29c73098: merged.
merged
Wed, Nov 25, 9:41 PM
makarius committed rISABELLEcb9d5af781b4: more complete report positions, notably for command 'back' (amending….
more complete report positions, notably for command 'back' (amending…
Wed, Nov 25, 9:41 PM
makarius committed rISABELLE9e89c2e15d36: clarified command_timings protocol;.
clarified command_timings protocol;
Wed, Nov 25, 9:41 PM
makarius committed rISABELLE6bc199a70bf9: more robust: include reports from Thy_Output.present_thy/output_document;.
more robust: include reports from Thy_Output.present_thy/output_document;
Wed, Nov 25, 9:41 PM
makarius committed rISABELLE0cc96d337e8f: tuned signature;.
tuned signature;
Wed, Nov 25, 9:41 PM
makarius committed rISABELLEf1380c9f3806: clarified signature;.
clarified signature;
Wed, Nov 25, 9:41 PM
makarius committed rISABELLEe700e830562e: tuned;.
tuned;
Wed, Nov 25, 9:41 PM
makarius committed rISABELLE52d0b5fcb19d: unused;.
unused;
Wed, Nov 25, 9:41 PM
makarius committed rISABELLE79a19657c170: clarified names;.
clarified names;
Wed, Nov 25, 9:41 PM
makarius committed rISABELLEeca176f773e0: removed pointless case: messages should always carry proper position;.
removed pointless case: messages should always carry proper position;
Wed, Nov 25, 9:41 PM
makarius committed rISABELLE0471eb6a4b99: unused;.
unused;
Wed, Nov 25, 9:41 PM
makarius committed rISABELLE1c42ac589fa0: eliminated pointless transaction;.
eliminated pointless transaction;
Wed, Nov 25, 9:41 PM
makarius committed rISABELLEc6981f55e60d: tuned signature;.
tuned signature;
Wed, Nov 25, 9:41 PM
makarius committed rISABELLEed59a506998f: clarified document_output vs. progress;.
clarified document_output vs. progress;
Wed, Nov 25, 9:41 PM
makarius committed rISABELLE6f83f7892317: clarified: more uniform;.
clarified: more uniform;
Wed, Nov 25, 9:41 PM
makarius committed rISABELLE7af210f1f13b: clarified signature and database layout;.
clarified signature and database layout;
Wed, Nov 25, 9:41 PM
makarius committed rISABELLEe16f85e3c288: more robust;.
more robust;
Wed, Nov 25, 9:41 PM
makarius committed rISABELLE45cd55248ffd: clarified messages;.
clarified messages;
Wed, Nov 25, 9:41 PM
makarius committed rISABELLE0116e487e4fe: unused (see ac7ae5067783, 1c451e5c145f);.
unused (see ac7ae5067783, 1c451e5c145f);
Wed, Nov 25, 9:41 PM
makarius committed rISABELLE22aeec526ffd: support for PIDE markup in batch build (inactive due to pide_reports=false);.
support for PIDE markup in batch build (inactive due to pide_reports=false);
Wed, Nov 25, 9:41 PM
makarius committed rISABELLE0201ae367518: unused;.
unused;
Wed, Nov 25, 9:41 PM
makarius committed rISABELLE2126cf946086: clarified signature;.
clarified signature;
Wed, Nov 25, 9:41 PM
makarius committed rISABELLE53064415757a: proper output of document sources (cf. d892f6d66402);.
proper output of document sources (cf. d892f6d66402);
Wed, Nov 25, 9:41 PM

Sun, Nov 22

makarius closed T28: Update component for CVC4 as Resolved.

Isabelle/dcc0022f0179 provides a manually assembled component, without isabelle build_cvc4 tool.

Sun, Nov 22, 1:45 PM · provers, isabelle-release
makarius committed rISABELLEdcc0022f0179: updated to cvc4-1.8;.
updated to cvc4-1.8;
Sun, Nov 22, 1:38 PM
makarius committed rISABELLEa7877e14e7f8: proper output directory (amending cc1347c8c804);.
proper output directory (amending cc1347c8c804);
Sun, Nov 22, 1:38 PM

Sat, Nov 21

makarius committed rISABELLEb5e6f0d137a7: clarified signature: prefer Database_Context;.
clarified signature: prefer Database_Context;
Sat, Nov 21, 9:12 PM
makarius committed rISABELLEe0443773ef1a: clarified modules;.
clarified modules;
Sat, Nov 21, 9:12 PM
makarius created Blog Post: PDF/HTML presentation in Isabelle/Scala, based on session build database.
Sat, Nov 21, 7:49 PM
makarius committed rISABELLE035b8054013a: tuned NEWS;.
tuned NEWS;
Sat, Nov 21, 7:48 PM
makarius committed rISABELLEb22f1e2b4e94: removed unused material;.
removed unused material;
Sat, Nov 21, 7:36 PM
makarius committed rISABELLE7ab733b2aecb: more NEWS;.
more NEWS;
Sat, Nov 21, 6:16 PM
makarius committed rISABELLE418dfce5533f: NEWS;.
NEWS;
Sat, Nov 21, 6:02 PM
makarius committed rISABELLE86fac52c2795: more interrupts;.
more interrupts;
Sat, Nov 21, 6:02 PM
makarius committed rISABELLEcc1347c8c804: clarified document output;.
clarified document output;
Sat, Nov 21, 5:49 PM
makarius committed rISABELLE1cbf36ac4d0b: clarified messages;.
clarified messages;
Sat, Nov 21, 5:49 PM
makarius committed rISABELLEa9fea3f11cc0: clarified messages;.
clarified messages;
Sat, Nov 21, 5:49 PM
makarius committed rISABELLE8ff7a0e394f9: clarified PDF/HTML presentation, based on pdf blobs from session database (e.g..
clarified PDF/HTML presentation, based on pdf blobs from session database (e.g.
Sat, Nov 21, 5:49 PM
makarius committed rISABELLE573ccec4dbac: tuned signature;.
tuned signature;
Sat, Nov 21, 5:49 PM
makarius committed rISABELLE588c751a5eef: more standard imports;.
more standard imports;
Sat, Nov 21, 12:39 AM
makarius committed rISABELLE4db9411c859c: tuned signature;.
tuned signature;
Sat, Nov 21, 12:39 AM
makarius committed rISABELLE5e7916535860: generate theory HTML in Isabelle/Scala;.
generate theory HTML in Isabelle/Scala;
Sat, Nov 21, 12:39 AM

Fri, Nov 20

makarius committed rISABELLE945cee776e79: proper meta_digest: avoid non-portable position information;.
proper meta_digest: avoid non-portable position information;
Fri, Nov 20, 12:49 PM

Thu, Nov 19

makarius committed rISABELLE7e5102e11c5e: clarified messages;.
clarified messages;
Thu, Nov 19, 11:12 PM
makarius committed rISABELLE0d3224b3a92c: proper message;.
proper message;
Thu, Nov 19, 11:12 PM
makarius committed rISABELLEe9030100f97d: clarified signature;.
clarified signature;
Thu, Nov 19, 11:12 PM
makarius committed rISABELLE5c08ad7adf77: clarified modules;.
clarified modules;
Thu, Nov 19, 11:12 PM
makarius committed rAFPe3576c775700: more robust;.
more robust;
Thu, Nov 19, 9:51 PM
makarius committed rISABELLEfca4d6abebda: more robust library_call (again): dynamic file name, static symbol;.
more robust library_call (again): dynamic file name, static symbol;
Thu, Nov 19, 6:13 PM
makarius committed rISABELLE7d4e9f7742c6: updated to polyml-test-7e49fce62e3d --- follow current ongoing development;.
updated to polyml-test-7e49fce62e3d --- follow current ongoing development;
Thu, Nov 19, 6:13 PM

Wed, Nov 18

makarius committed rISABELLE99a6bcd1e8e4: tuned signature;.
tuned signature;
Wed, Nov 18, 10:43 PM
makarius committed rISABELLEea35afdb1366: store documents within session database, instead of browser_info directory;.
store documents within session database, instead of browser_info directory;
Wed, Nov 18, 10:43 PM
makarius committed rISABELLEc88e9369a772: merged.
merged
Wed, Nov 18, 10:43 PM
makarius committed rISABELLE07edf1952ab1: clarified modules;.
clarified modules;
Wed, Nov 18, 10:43 PM
makarius committed rISABELLE52cb065aa916: clarified modules;.
clarified modules;
Wed, Nov 18, 10:43 PM
makarius committed rISABELLE1cbac4ae934d: more explicit presentation directory;.
more explicit presentation directory;
Wed, Nov 18, 10:43 PM
makarius committed rISABELLE4ba5b1b08dd5: clarified signature: more explicit types;.
clarified signature: more explicit types;
Wed, Nov 18, 10:43 PM
makarius committed rISABELLE787ba1d19d3a: more robust: ensure coherence wrt. build database;.
more robust: ensure coherence wrt. build database;
Wed, Nov 18, 10:43 PM
makarius committed rISABELLEfd6dc1a4b9ca: more robust, e.g. for "isabelle build_doc system";.
more robust, e.g. for "isabelle build_doc system";
Wed, Nov 18, 10:43 PM
makarius committed rISABELLE054d8b212f94: tuned;.
tuned;
Wed, Nov 18, 10:43 PM

Tue, Nov 17

makarius committed rISABELLEfffad9ad660e: simplified/clarified persistent session information;.
simplified/clarified persistent session information;
Tue, Nov 17, 11:52 PM
makarius committed rISABELLEdb5f4572704a: merged.
merged
Tue, Nov 17, 11:52 PM
makarius committed rISABELLE2a7fc87495e0: refer to command_timings/last_timing via resources;.
refer to command_timings/last_timing via resources;
Tue, Nov 17, 11:52 PM
makarius committed rISABELLE09ee9eb7a3d3: proper link for Pure;.
proper link for Pure;
Tue, Nov 17, 11:52 PM
makarius committed rISABELLEfd68c9c1b90b: more uniform Resources.init_session via YXML;.
more uniform Resources.init_session via YXML;
Tue, Nov 17, 11:52 PM
makarius committed rISABELLE5cea0993ee4f: clarified access to single database server vs. collection of database files;.
clarified access to single database server vs. collection of database files;
Tue, Nov 17, 11:52 PM
makarius committed rISABELLE2a329baa7d39: proper link location;.
proper link location;
Tue, Nov 17, 11:52 PM

Mon, Nov 16

makarius committed rISABELLE5e616a454b23: clarified Resources.init_session for low-level "isabelle process";.
clarified Resources.init_session for low-level "isabelle process";
Mon, Nov 16, 11:51 PM
makarius committed rISABELLE3402df4486de: proper html_symbols (amending 429afd0d1a79);.
proper html_symbols (amending 429afd0d1a79);
Mon, Nov 16, 11:44 PM
makarius committed rISABELLE8d83acc5062e: clarified signature;.
clarified signature;
Mon, Nov 16, 11:44 PM
makarius committed rISABELLE5a616815cc44: clarified signature: theory imports could be from other sessions;.
clarified signature: theory imports could be from other sessions;
Mon, Nov 16, 11:44 PM
makarius committed rISABELLEe788488b0607: unused;.
unused;
Mon, Nov 16, 11:44 PM
makarius committed rISABELLE35524fade6a4: clarified signature: master_dir is just Path.current;.
clarified signature: master_dir is just Path.current;
Mon, Nov 16, 11:44 PM
makarius committed rISABELLE429afd0d1a79: refer to HTML symbols via resources;.
refer to HTML symbols via resources;
Mon, Nov 16, 11:44 PM
makarius committed rISABELLE65554bac121b: clarified document;.
clarified document;
Mon, Nov 16, 11:44 PM
makarius committed rISABELLE830222403681: HTML presentation in Isabelle/Scala, based on theory html exports from….
HTML presentation in Isabelle/Scala, based on theory html exports from…
Mon, Nov 16, 11:44 PM

Sun, Nov 15

makarius committed rISABELLEb519d819d376: merged.
merged
Sun, Nov 15, 10:49 PM
makarius committed rISABELLE217e6cf61453: refer to session structure from resources;.
refer to session structure from resources;
Sun, Nov 15, 10:49 PM
makarius committed rISABELLE5fc193537b7c: tuned;.
tuned;
Sun, Nov 15, 10:49 PM
makarius committed rISABELLEffed574c65c3: tuned;.
tuned;
Sun, Nov 15, 10:49 PM
makarius committed rISABELLEf827c3bb6b7f: more scalable: avoid large strings on command-line;.
more scalable: avoid large strings on command-line;
Sun, Nov 15, 10:49 PM
makarius committed rISABELLEd01ea9e3bd2d: clarified bibtex_entries: refer to overall session structure;.
clarified bibtex_entries: refer to overall session structure;
Sun, Nov 15, 10:49 PM
makarius committed rISABELLE878c73cdfa0d: tuned signature;.
tuned signature;
Sun, Nov 15, 10:49 PM

Sat, Nov 14

makarius committed rISABELLEb6bce47d0b48: tuned;.
tuned;
Sat, Nov 14, 4:56 PM
makarius committed rISABELLE9576d0faf8f9: proper theory name;.
proper theory name;
Sat, Nov 14, 4:56 PM
makarius committed rISABELLEb040c9e67285: merged.
merged
Sat, Nov 14, 1:51 PM
makarius committed rISABELLE110bfed4815d: proper document_theories;.
proper document_theories;
Sat, Nov 14, 1:50 PM
makarius committed rISABELLE76550282267f: more interrupts, notably for running latex;.
more interrupts, notably for running latex;
Sat, Nov 14, 1:50 PM
makarius committed rISABELLE2fa4f25d9d07: official support for document theories from other sessions;.
official support for document theories from other sessions;
Sat, Nov 14, 1:50 PM
makarius committed rISABELLEd9f2be66ebad: support for watchdog thread;.
support for watchdog thread;
Sat, Nov 14, 1:50 PM
makarius committed rISABELLEe8d7dc1c229c: more parallelism;.
more parallelism;
Sat, Nov 14, 1:50 PM
makarius committed rISABELLEc806eeb9138c: clarified messages;.
clarified messages;
Sat, Nov 14, 1:50 PM
makarius committed rISABELLEb2bbe2e6575d: tuned signature;.
tuned signature;
Sat, Nov 14, 1:50 PM
makarius committed rISABELLEe00089ddf462: tuned imports;.
tuned imports;
Sat, Nov 14, 1:50 PM
makarius committed rAFP01f7865f30b1: proper document_theories;.
proper document_theories;
Sat, Nov 14, 1:48 PM

Wed, Nov 11

makarius committed rISABELLE531a0c44ea3f: more interrupts;.
more interrupts;
Wed, Nov 11, 11:10 PM
makarius committed rISABELLEd9cf3fa0300b: merged.
merged
Wed, Nov 11, 11:00 PM
makarius committed rISABELLE77b51733ffdf: obsolete, build happens in clean tmp_dir;.
obsolete, build happens in clean tmp_dir;
Wed, Nov 11, 11:00 PM
makarius committed rISABELLE3e8395f9093a: clarified build_doc, based on Present.build_documents;.
clarified build_doc, based on Present.build_documents;
Wed, Nov 11, 11:00 PM