User Details
User Details
- User Since
- Sep 24 2019, 9:33 PM (61 w, 1 d)
- Roles
- Administrator
Yesterday
Yesterday
recovered document output from 6bc199a70bf9;
makarius committed rISABELLEcb9d5af781b4: more complete report positions, notably for command 'back' (amending….
more complete report positions, notably for command 'back' (amending…
clarified command_timings protocol;
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;
clarified signature;
makarius committed rISABELLEeca176f773e0: removed pointless case: messages should always carry proper position;.
removed pointless case: messages should always carry proper position;
eliminated pointless transaction;
clarified document_output vs. progress;
clarified: more uniform;
clarified signature and database layout;
clarified messages;
unused (see ac7ae5067783, 1c451e5c145f);
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);
clarified signature;
proper output of document sources (cf. d892f6d66402);
Sun, Nov 22
Sun, Nov 22
Isabelle/dcc0022f0179 provides a manually assembled component, without isabelle build_cvc4 tool.
updated to cvc4-1.8;
proper output directory (amending cc1347c8c804);
Sat, Nov 21
Sat, Nov 21
clarified signature: prefer Database_Context;
removed unused material;
clarified document output;
clarified messages;
clarified messages;
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.
more standard imports;
generate theory HTML in Isabelle/Scala;
Fri, Nov 20
Fri, Nov 20
makarius committed rISABELLE945cee776e79: proper meta_digest: avoid non-portable position information;.
proper meta_digest: avoid non-portable position information;
Thu, Nov 19
Thu, Nov 19
clarified messages;
clarified signature;
clarified modules;
makarius committed rISABELLEfca4d6abebda: more robust library_call (again): dynamic file name, static symbol;.
more robust library_call (again): dynamic file name, static symbol;
makarius committed rISABELLE7d4e9f7742c6: updated to polyml-test-7e49fce62e3d --- follow current ongoing development;.
updated to polyml-test-7e49fce62e3d --- follow current ongoing development;
Wed, Nov 18
Wed, Nov 18
makarius committed rISABELLEea35afdb1366: store documents within session database, instead of browser_info directory;.
store documents within session database, instead of browser_info directory;
clarified modules;
clarified modules;
more explicit presentation directory;
clarified signature: more explicit types;
more robust: ensure coherence wrt. build database;
more robust, e.g. for "isabelle build_doc system";
Tue, Nov 17
Tue, Nov 17
simplified/clarified persistent session information;
refer to command_timings/last_timing via resources;
proper link for Pure;
more uniform Resources.init_session via YXML;
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;
proper link location;
Mon, Nov 16
Mon, Nov 16
makarius committed rISABELLE5e616a454b23: clarified Resources.init_session for low-level "isabelle process";.
clarified Resources.init_session for low-level "isabelle process";
proper html_symbols (amending 429afd0d1a79);
clarified signature;
makarius committed rISABELLE5a616815cc44: clarified signature: theory imports could be from other sessions;.
clarified signature: theory imports could be from other sessions;
clarified signature: master_dir is just Path.current;
refer to HTML symbols via resources;
clarified document;
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…
Sun, Nov 15
Sun, Nov 15
refer to session structure from resources;
more scalable: avoid large strings on command-line;
makarius committed rISABELLEd01ea9e3bd2d: clarified bibtex_entries: refer to overall session structure;.
clarified bibtex_entries: refer to overall session structure;
Sat, Nov 14
Sat, Nov 14
proper theory name;
proper document_theories;
more interrupts, notably for running latex;
makarius committed rISABELLE2fa4f25d9d07: official support for document theories from other sessions;.
official support for document theories from other sessions;
support for watchdog thread;
clarified messages;
proper document_theories;
Wed, Nov 11
Wed, Nov 11
obsolete, build happens in clean tmp_dir;
clarified build_doc, based on Present.build_documents;