Page MenuHomeIsabelle/Phabricator
Feed Advanced Search

Advanced Search
Use Results
Hide Query

Nov 16 2020

makarius committed rISABELLE8d83acc5062e: clarified signature;.
clarified signature;
Nov 16 2020, 11:44 PM
makarius committed rISABELLE5a616815cc44: clarified signature: theory imports could be from other sessions;.
clarified signature: theory imports could be from other sessions;
Nov 16 2020, 11:44 PM
makarius committed rISABELLEe788488b0607: unused;.
unused;
Nov 16 2020, 11:44 PM
makarius committed rISABELLE35524fade6a4: clarified signature: master_dir is just Path.current;.
clarified signature: master_dir is just Path.current;
Nov 16 2020, 11:44 PM
makarius committed rISABELLE429afd0d1a79: refer to HTML symbols via resources;.
refer to HTML symbols via resources;
Nov 16 2020, 11:44 PM
makarius committed rISABELLE65554bac121b: clarified document;.
clarified document;
Nov 16 2020, 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…
Nov 16 2020, 11:44 PM

Nov 15 2020

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

Nov 14 2020

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

Nov 11 2020

makarius committed rISABELLE531a0c44ea3f: more interrupts;.
more interrupts;
Nov 11 2020, 11:10 PM
makarius committed rISABELLEd9cf3fa0300b: merged.
merged
Nov 11 2020, 11:00 PM
makarius committed rISABELLE77b51733ffdf: obsolete, build happens in clean tmp_dir;.
obsolete, build happens in clean tmp_dir;
Nov 11 2020, 11:00 PM
makarius committed rISABELLE3e8395f9093a: clarified build_doc, based on Present.build_documents;.
clarified build_doc, based on Present.build_documents;
Nov 11 2020, 11:00 PM
makarius committed rISABELLE913407dad883: redundant, see prepare_dir;.
redundant, see prepare_dir;
Nov 11 2020, 11:00 PM
makarius committed rISABELLEc7ab83a0c564: tuned signature;.
tuned signature;
Nov 11 2020, 11:00 PM
makarius committed rISABELLEd892f6d66402: build documents in Isabelle/Scala, based on generated tex files as session….
build documents in Isabelle/Scala, based on generated tex files as session…
Nov 11 2020, 11:00 PM
makarius committed rISABELLEa085a1a89388: more operations;.
more operations;
Nov 11 2020, 11:00 PM
makarius committed rISABELLEe7e93c0f6d96: more operations (as in Isabelle/ML);.
more operations (as in Isabelle/ML);
Nov 11 2020, 11:00 PM
makarius committed rISABELLEab4a0b19648a: tuned signature;.
tuned signature;
Nov 11 2020, 11:00 PM
makarius committed rISABELLE79661d12155e: tuned;.
tuned;
Nov 11 2020, 11:00 PM

Nov 8 2020

makarius committed rISABELLEed5b907bbf50: tuned;.
tuned;
Nov 8 2020, 10:09 PM
makarius committed rISABELLE6d54efe5b6ee: tuned signature;.
tuned signature;
Nov 8 2020, 4:36 PM
makarius committed rISABELLEfeb80142e572: proper list_url, suitable for composition;.
proper list_url, suitable for composition;
Nov 8 2020, 4:36 PM

Nov 7 2020

makarius committed rISABELLE274c9986e55b: maintain Isabelle mailing list archives;.
maintain Isabelle mailing list archives;
Nov 7 2020, 8:58 PM
makarius committed rISABELLE38ebf696fd0c: support for Mailman list servers;.
support for Mailman list servers;
Nov 7 2020, 8:58 PM
makarius committed rISABELLE6345cce0e576: clarified output of "isabelle process";.
clarified output of "isabelle process";
Nov 7 2020, 5:13 PM
makarius committed rISABELLE7abd365058e9: unused;.
unused;
Nov 7 2020, 5:13 PM
makarius triaged T32: Odd font rendering problem with jdk-11.0.9 on Windows as Normal priority.
Nov 7 2020, 4:00 PM · isabelle-release

Nov 6 2020

makarius committed rISABELLE81518b38b316: prefer static library_call (again): avoid memory-leak within C code area;.
prefer static library_call (again): avoid memory-leak within C code area;
Nov 6 2020, 4:33 PM
makarius committed rISABELLE4e9d22dcd595: updated to polyml-test-7e49fce62e3d --- follow current ongoing development;.
updated to polyml-test-7e49fce62e3d --- follow current ongoing development;
Nov 6 2020, 4:33 PM
makarius committed rISABELLE461b3942148d: back to https://isabelle.sketis.net/components (more reliable);.
back to https://isabelle.sketis.net/components (more reliable);
Nov 6 2020, 4:33 PM

Nov 2 2020

makarius committed rISABELLEc588e0b8b8b0: tuned;.
tuned;
Nov 2 2020, 4:51 PM
makarius committed rISABELLE72b0490c8924: back to normal;.
back to normal;
Nov 2 2020, 2:00 PM

Nov 1 2020

makarius committed rISABELLE97f12d2c8bf2: use alternative server: https://isabelle.in.tum.de/components is down;.
use alternative server: https://isabelle.in.tum.de/components is down;
Nov 1 2020, 6:24 PM
makarius committed rISABELLE18eed4f718e0: back to dynamic library_call: not quite portable, e.g. different Windows….
back to dynamic library_call: not quite portable, e.g. different Windows…
Nov 1 2020, 6:24 PM
makarius committed rISABELLE8f6df3fa7f72: merged.
merged
Nov 1 2020, 6:24 PM
makarius committed rISABELLE7cb68b5b103d: proper build_call for interpreted ARM platform;.
proper build_call for interpreted ARM platform;
Nov 1 2020, 4:19 PM
makarius committed rISABELLE63ec86626ec3: updated to polyml-test-cf46747fee61 --- follow current ongoing development….
updated to polyml-test-cf46747fee61 --- follow current ongoing development…
Nov 1 2020, 3:27 PM
makarius committed rISABELLEe0c6522d5d43: prefer static library_call, following recent changes to structure Foreign;.
prefer static library_call, following recent changes to structure Foreign;
Nov 1 2020, 3:27 PM

Oct 31 2020

makarius committed rISABELLE8eb0b663fa20: tuned message;.
tuned message;
Oct 31 2020, 9:08 PM
makarius committed rISABELLEa3d096a98b69: clarified Windows base line;.
clarified Windows base line;
Oct 31 2020, 9:08 PM
makarius committed rISABELLE8e9312e6a6d9: clarified generated settings;.
clarified generated settings;
Oct 31 2020, 1:01 PM
makarius committed rISABELLE0d3b623db61a: proper packages for mercurial_setup;.
proper packages for mercurial_setup;
Oct 31 2020, 11:50 AM

Oct 30 2020

makarius committed rISABELLE6e27af808c17: more privileges for the sake of mysqldump (avoid workaround --no-tablespaces);.
more privileges for the sake of mysqldump (avoid workaround --no-tablespaces);
Oct 30 2020, 11:59 PM
makarius committed rISABELLE354bfab78cbf: Isabelle/Phabricator supports Ubuntu 20.04 LTS;.
Isabelle/Phabricator supports Ubuntu 20.04 LTS;
Oct 30 2020, 11:59 PM
makarius committed rISABELLE581d9d74e1e4: tuned --- make IntelliJ IDEA happy;.
tuned --- make IntelliJ IDEA happy;
Oct 30 2020, 11:59 PM
makarius committed rISABELLEf760554a5a29: tuned;.
tuned;
Oct 30 2020, 11:59 PM

Oct 29 2020

makarius triaged T26: Update component for E prover as Normal priority.
Oct 29 2020, 5:52 PM · provers, isabelle-release
makarius added a project to T20: Sledgehammer/z3: "bad SMT term: _": provers.
Oct 29 2020, 5:20 PM · provers
makarius added a project to T24: Missing minisat.dll for nitpick/kodkod on Windows (and Apple Silicon): provers.
Oct 29 2020, 5:19 PM · provers, isabelle-release
makarius added a project to T25: Update component for veriT: provers.
Oct 29 2020, 5:18 PM · provers, isabelle-release
makarius added a project to T27: Update component for SPASS: provers.
Oct 29 2020, 5:18 PM · provers, isabelle-release
makarius added a project to T28: Update component for CVC4: provers.
Oct 29 2020, 5:18 PM · provers, isabelle-release
makarius added a project to T29: Update component for Z3: provers.
Oct 29 2020, 5:17 PM · provers
makarius added a project to T30: Component and Isabelle/ML setup for Zipperposition: provers.
Oct 29 2020, 5:17 PM · provers
makarius added a project to T26: Update component for E prover: provers.
Oct 29 2020, 5:17 PM · provers, isabelle-release
makarius renamed provers from prover to provers.
Oct 29 2020, 5:16 PM
makarius created provers.
Oct 29 2020, 5:15 PM
makarius triaged T31: Improve robustness of multithreaded Kodkod in Isabelle/Scala as Normal priority.
Oct 29 2020, 4:36 PM · isabelle-release
makarius added a comment to T30: Component and Isabelle/ML setup for Zipperposition.

Isabelle/aca85e8d873d already provides isabelle build_zipperposition from the OPAM entry version 1.6, but this is rather old.

Oct 29 2020, 4:23 PM · provers
makarius triaged T30: Component and Isabelle/ML setup for Zipperposition as Normal priority.
Oct 29 2020, 4:21 PM · provers
makarius lowered the priority of T29: Update component for Z3 from High to Normal.
Oct 29 2020, 2:45 PM · provers
makarius added a comment to T29: Update component for Z3.

Not yet for the Isabelle2021 release, unless someone does it very quickly and thoroughly during 01-Nov-2020..15-Dec-2020.

Oct 29 2020, 2:44 PM · provers
makarius triaged T29: Update component for Z3 as High priority.
Oct 29 2020, 2:43 PM · provers
makarius triaged T28: Update component for CVC4 as Normal priority.
Oct 29 2020, 2:40 PM · provers, isabelle-release
makarius closed T27: Update component for SPASS as Resolved.

Done in Isabelle/c2b44fb3add4, already sufficient for Isabelle2021 release.

Oct 29 2020, 2:35 PM · provers, isabelle-release
makarius triaged T27: Update component for SPASS as Normal priority.
Oct 29 2020, 2:32 PM · provers, isabelle-release
makarius closed T26: Update component for E prover as Resolved.

Isabelle/cd3419427cd3 already has E prover 2.5 for production use.

Oct 29 2020, 2:30 PM · provers, isabelle-release
makarius created T26: Update component for E prover.
Oct 29 2020, 2:24 PM · provers, isabelle-release
makarius assigned T25: Update component for veriT to mathias.fleury.

Isabelle/e4d707eb7d1b already includes fairly stable Isabelle/ML tool setup and component.

Oct 29 2020, 2:22 PM · provers, isabelle-release
makarius triaged T25: Update component for veriT as Normal priority.
Oct 29 2020, 2:21 PM · provers, isabelle-release
makarius added a project to T13: Isabelle/jEdit indenting: isabelle-release.

Another attempt for Isabelle2021 ...

Oct 29 2020, 2:15 PM
makarius added a project to T24: Missing minisat.dll for nitpick/kodkod on Windows (and Apple Silicon): isabelle-release.

It would be great to know more for the forthcoming Isabelle2021 release, although this is not mission critial for it.

Oct 29 2020, 2:14 PM · provers, isabelle-release

Oct 27 2020

makarius committed rAFPe3aa923ddba9: tuned Path.append;.
tuned Path.append;
Oct 27 2020, 11:10 PM
makarius committed rISABELLE460d743010bc: clarified signature: overloaded "+" for Path.append;.
clarified signature: overloaded "+" for Path.append;
Oct 27 2020, 10:59 PM
makarius committed rAFPc2f82643ffdc: more standard Isabelle/ML file operations;.
more standard Isabelle/ML file operations;
Oct 27 2020, 9:39 PM
makarius committed rAFPf39558032ffc: check results;.
check results;
Oct 27 2020, 9:39 PM
makarius committed rAFPec88c1b671e6: tuned whitespace;.
tuned whitespace;
Oct 27 2020, 9:39 PM

Oct 26 2020

makarius created Blog Post: Experimental support for arm64-linux platform.
Oct 26 2020, 9:42 PM
makarius committed rISABELLEa471730347e0: NEWS;.
NEWS;
Oct 26 2020, 9:37 PM
makarius committed rISABELLE99da14fa28b8: updated to jdk-11.0.9+11;.
updated to jdk-11.0.9+11;
Oct 26 2020, 9:21 PM

Oct 23 2020

makarius committed rISABELLE05d0977ec706: index for https://isabelle.in.tum.de/components (or clones);.
index for https://isabelle.in.tum.de/components (or clones);
Oct 23 2020, 2:33 PM

Oct 21 2020

makarius committed rISABELLEd59242549b7f: support arm64-linux;.
support arm64-linux;
Oct 21 2020, 10:01 PM
First
Prev
Next