Page MenuHomeIsabelle/Phabricator
Feed All Transactions

All Transactions
Use Results
Edit Query

AuthorObjectTransactionDate
makariusrISABELLE12c984b7d391: tuned signature;
makarius committed rISABELLE12c984b7d391: tuned signature;. 
Jul 30 2021, 10:54 PM
makariusrISABELLE73487ebd7332: clarified signature;
makarius committed rISABELLE73487ebd7332: clarified signature;. 
Jul 30 2021, 10:39 PM
makariusrISABELLEe5e95395258d: merged
makarius committed rISABELLEe5e95395258d: merged. 
Jul 30 2021, 4:21 PM
yonoteamrAFP6beec57f7d3f: cleaner presentation of analysis theorems in preliminaries
yonoteam committed rAFP6beec57f7d3f: cleaner presentation of analysis theorems in preliminaries. 
Jul 30 2021, 1:52 AM
Asta Halkjær From <andro.from@gmail.com>rAFPe1046d8be835: Update to new Epistemic_Logic.thy
Asta Halkjær From <andro.from@gmail.com> committed rAFPe1046d8be835: Update to new Epistemic_Logic.thy. 
Jul 29 2021, 5:57 PM
Asta Halkjær From <andro.from@gmail.com>rAFP09d0f0e8b5f5: Avoid typedefs
Asta Halkjær From <andro.from@gmail.com> committed rAFP09d0f0e8b5f5: Avoid typedefs. 
Jul 29 2021, 5:13 PM
desharnarISABELLE180ee02eb075: documented Mirabelle_Sledgehammer's new keep semantics
desharna committed rISABELLE180ee02eb075: documented Mirabelle_Sledgehammer's new keep semantics. 
Jul 29 2021, 5:08 PM
desharnarISABELLEa2cbe81e1e32: changed Mirabelle_Sledgehammer keep option from path to boolean
desharna committed rISABELLEa2cbe81e1e32: changed Mirabelle_Sledgehammer keep option from path to boolean. 
Jul 28 2021, 7:17 PM
makariusrISABELLEa8bbeb266651: prefer Isabelle.Bytes, based on ShortByteString;
makarius committed rISABELLEa8bbeb266651: prefer Isabelle.Bytes, based on ShortByteString;. 
Jul 28 2021, 5:30 PM
makariusrISABELLEe249650504f3: tuned;
makarius committed rISABELLEe249650504f3: tuned;. 
Jul 28 2021, 3:39 PM
makariusrISABELLEf81d2a1cad69: tuned signature;
makarius committed rISABELLEf81d2a1cad69: tuned signature;. 
Jul 28 2021, 3:30 PM
makariusrISABELLEadaa2e9a4111: tuned signature: more generic operations;
makarius committed rISABELLEadaa2e9a4111: tuned signature: more generic operations;. 
Jul 28 2021, 3:19 PM
desharnarISABELLEb93d8c2ebab0: added automatic uniform stride option to Mirabelle
desharna committed rISABELLEb93d8c2ebab0: added automatic uniform stride option to Mirabelle. 
Jul 28 2021, 2:16 PM
makariusrISABELLE5b68a5cd7061: prefer UTF8 implementation from Data.Text.Encoding (foreign C);
makarius committed rISABELLE5b68a5cd7061: prefer UTF8 implementation from Data.Text.Encoding (foreign C);. 
Jul 28 2021, 12:41 PM
desharnarISABELLEa5bab59d580b: added support for TFX $let to Sledgehammer's TPTP output
desharna mentioned this in rISABELLE97ad1687cec7: fixed HOL-ex following a5bab59d580b. 
Jul 28 2021, 10:21 AM
desharnarISABELLE97ad1687cec7: fixed HOL-ex following a5bab59d580b
desharna added an edge: rISABELLEa5bab59d580b: added support for TFX $let to Sledgehammer's TPTP output. 
Jul 28 2021, 10:21 AM
desharnarISABELLE97ad1687cec7: fixed HOL-ex following a5bab59d580b
desharna committed rISABELLE97ad1687cec7: fixed HOL-ex following a5bab59d580b. 
Jul 28 2021, 10:21 AM
desharnarISABELLE2af4e088c01c: merged
desharna committed rISABELLE2af4e088c01c: merged. 
Jul 27 2021, 8:28 PM
desharnarISABELLE6c8473b4f518: fixed TFX generation when universal quantifier is used as term
desharna committed rISABELLE6c8473b4f518: fixed TFX generation when universal quantifier is used as term. 
Jul 27 2021, 8:25 PM
makariusrISABELLEdc98bb7a439b: merged
makarius committed rISABELLEdc98bb7a439b: merged. 
Jul 27 2021, 3:31 PM
makariusrISABELLEb25b7c264a93: various improvements of "isabelle scala_project";
makarius committed rISABELLEb25b7c264a93: various improvements of "isabelle scala_project";. 
Jul 27 2021, 3:20 PM
desharnarISABELLEffbd1b7e5439: tuned Mirabelle's theory selection
desharna committed rISABELLEffbd1b7e5439: tuned Mirabelle's theory selection. 
Jul 27 2021, 1:39 PM
makariusrISABELLEa69a13c4b049: support for native symlinks on Windows;
makarius committed rISABELLEa69a13c4b049: support for native symlinks on Windows;. 
Jul 27 2021, 1:12 PM
desharnarISABELLEa5bab59d580b: added support for TFX $let to Sledgehammer's TPTP output
desharna committed rISABELLEa5bab59d580b: added support for TFX $let to Sledgehammer's TPTP output. 
Jul 27 2021, 10:36 AM
kleingrAFPd4dfaca0753b: Clean: set AFP standard document options
kleing committed rAFPd4dfaca0753b: Clean: set AFP standard document options. 
Jul 27 2021, 8:31 AM
kleingrAFPf775ffffa43c: Clean: re-add to chapter AFP
kleing committed rAFPf775ffffa43c: Clean: re-add to chapter AFP. 
Jul 27 2021, 1:17 AM
kleingrAFP3ccdf21c5bb4: merge from afp-2021
kleing committed rAFP3ccdf21c5bb4: merge from afp-2021. 
Jul 27 2021, 1:16 AM
pruvistorAFPfdc94d7251ed: Added Finitely_Generated_Abelian_Groups to metadata
pruvisto committed rAFPfdc94d7251ed: Added Finitely_Generated_Abelian_Groups to metadata. 
Jul 26 2021, 10:18 PM
makariusrISABELLE62e4ec8cff38: clarified signature;
makarius committed rISABELLE62e4ec8cff38: clarified signature;. 
Jul 26 2021, 1:12 PM
makariusrISABELLE0b1462ce5fda: clarified signature;
makarius committed rISABELLE0b1462ce5fda: clarified signature;. 
Jul 26 2021, 1:04 PM
makariusrISABELLEb3f072aa4690: updated for Isabelle2021 release;
makarius committed rISABELLEb3f072aa4690: updated for Isabelle2021 release;. 
Jul 25 2021, 4:38 PM
makariusrISABELLEf175fd68b6a9: back to stackage lts-17.10, to make this work on vmnipkow9 (Windows Server 2012…
makarius committed rISABELLEf175fd68b6a9: back to stackage lts-17.10, to make this work on vmnipkow9 (Windows Server 2012…. 
Jul 25 2021, 4:12 PM
makariusrISABELLEd871882ad651: update to Haskell stack-2.7.3 and stackage lts-17.15;
makarius committed rISABELLEd871882ad651: update to Haskell stack-2.7.3 and stackage lts-17.15;. 
Jul 25 2021, 2:46 PM
makariusrISABELLEff466b272267: clarified version: Apple now counts like 11, 12, ...;
makarius committed rISABELLEff466b272267: clarified version: Apple now counts like 11, 12, ...;. 
Jul 25 2021, 12:43 PM
makariusrISABELLE4dbac13d89a5: clarified signature;
makarius committed rISABELLE4dbac13d89a5: clarified signature;. 
Jul 24 2021, 8:25 PM
makariusrISABELLE203dfa8bc0fc: clarified compiler output: allow multithreaded execution;
makarius committed rISABELLE203dfa8bc0fc: clarified compiler output: allow multithreaded execution;. 
Jul 24 2021, 7:55 PM
makariusrISABELLE8cd746a5c291: clarified signature: more operations;
makarius committed rISABELLE8cd746a5c291: clarified signature: more operations;. 
Jul 24 2021, 6:07 PM
makariusrISABELLE55505e7bbfb3: clarified props: more permissive;
makarius committed rISABELLE55505e7bbfb3: clarified props: more permissive;. 
Jul 24 2021, 6:01 PM
makariusrISABELLE4b15a1e25537: more robust;
makarius committed rISABELLE4b15a1e25537: more robust;. 
Jul 24 2021, 5:06 PM
makariusrISABELLE22ad3ac2152c: clarified properties: "module" and "no_build";
makarius committed rISABELLE22ad3ac2152c: clarified properties: "module" and "no_build";. 
Jul 24 2021, 4:40 PM
makariusrISABELLEfb8d5c0133c9: clarified signature;
makarius committed rISABELLEfb8d5c0133c9: clarified signature;. 
Jul 24 2021, 3:38 PM
makariusrISABELLE0ee44ed80290: clarified signature;
makarius committed rISABELLE0ee44ed80290: clarified signature;. 
Jul 24 2021, 1:09 PM
makariusrISABELLE9ce319c846d9: tuned comments;
makarius committed rISABELLE9ce319c846d9: tuned comments;. 
Jul 24 2021, 12:24 PM
makariusrISABELLE54a11c37d5bc: tuned document;
makarius committed rISABELLE54a11c37d5bc: tuned document;. 
Jul 24 2021, 11:56 AM
makariusrISABELLEf34d54b0e5de: clarified names (again), e.g. relevant for "Plugin Options";
makarius committed rISABELLEf34d54b0e5de: clarified names (again), e.g. relevant for "Plugin Options";. 
Jul 23 2021, 10:32 AM
Eugene W. Stark <stark@cs.stonybrook.edu>rAFP49d3aa43c180: Sync with my development repo. Add new material: "concrete bicategories" and
Eugene W. Stark <stark@cs.stonybrook.edu> committed rAFP49d3aa43c180: Sync with my development repo. Add new material: "concrete bicategories" and. 
Jul 23 2021, 12:13 AM
desharnarISABELLEbd575b1bd9bf: added simp_options to meson
desharna committed rISABELLEbd575b1bd9bf: added simp_options to meson. 
Jul 22 2021, 1:07 PM
Phil Clayton <phil.clayton@veonix.com>rPOLYML6d1e35a697c6: Add FFI conversions for C size types
Phil Clayton <phil.clayton@veonix.com> committed rPOLYML6d1e35a697c6: Add FFI conversions for C size types (authored by Phil Clayton <phil.clayton@veonix.com>). 
Jul 21 2021, 5:56 PM
blanchetterISABELLEbed899f14df7: tuning
blanchette committed rISABELLEbed899f14df7: tuning. 
Jul 19 2021, 2:47 PM
blanchetterISABELLEd0b190b4f15d: parse TPTP operator @ also when not parenthesized
blanchette committed rISABELLEd0b190b4f15d: parse TPTP operator @ also when not parenthesized. 
Jul 19 2021, 2:47 PM
blanchetterISABELLEa2b470e315ee: tuned E's lambda encoding
blanchette committed rISABELLEa2b470e315ee: tuned E's lambda encoding. 
Jul 19 2021, 2:47 PM
blanchetterISABELLEa0c9fc9c7dbe: removed setup for outdated CVC3 from Isabelle
blanchette committed rISABELLEa0c9fc9c7dbe: removed setup for outdated CVC3 from Isabelle. 
Jul 19 2021, 2:47 PM
blanchetterISABELLE462d652ad910: use Vampire's clausifier with iProver, now that E's is no longer supported
blanchette committed rISABELLE462d652ad910: use Vampire's clausifier with iProver, now that E's is no longer supported. 
Jul 19 2021, 10:38 AM
blanchetterISABELLE302994f5a3c2: updated Sledgehammer docs -- removed most version numbers since these are…
blanchette committed rISABELLE302994f5a3c2: updated Sledgehammer docs -- removed most version numbers since these are…. 
Jul 19 2021, 10:37 AM
blanchetterISABELLE943757b788f9: compile
blanchette committed rISABELLE943757b788f9: compile. 
Jul 19 2021, 10:03 AM
makariusrISABELLE13c66810f7b0: tuned;
makarius mentioned this in Blog Post: Isabelle/Scala improvements. 
Jul 18 2021, 10:16 PM
makariusBlog Post: Isabelle/Scala improvements
makarius created this post. 
Jul 18 2021, 10:16 PM
makariusBlog Post: Isabelle/Scala improvements
makarius renamed this blog post from to Isabelle/Scala improvements. 
Jul 18 2021, 10:16 PM
makariusBlog Post: Isabelle/Scala improvements
makarius updated the post content. 
Jul 18 2021, 10:16 PM
makariusBlog Post: Isabelle/Scala improvements
makarius added an edge: rISABELLE13c66810f7b0: tuned;. 
Jul 18 2021, 10:16 PM
makariusBlog Post: Isabelle/Scala improvements
makarius set this post's subtitle to "". 
Jul 18 2021, 10:16 PM
makariusBlog Post: Isabelle/Scala improvements
makarius published this post. 
Jul 18 2021, 10:16 PM
makariusrISABELLE13c66810f7b0: tuned;
makarius committed rISABELLE13c66810f7b0: tuned;. 
Jul 18 2021, 10:13 PM
makariusrISABELLE68596ed5b7c2: NEWS;
makarius committed rISABELLE68596ed5b7c2: NEWS;. 
Jul 18 2021, 9:47 PM
makariusrISABELLE6bf9f94198a7: updated documentation on Isabelle/Scala;
makarius committed rISABELLE6bf9f94198a7: updated documentation on Isabelle/Scala;. 
Jul 18 2021, 9:46 PM
makariusrISABELLEaa36845ad5ad: discontinued obsolete Apple (deprecated);
makarius committed rISABELLEaa36845ad5ad: discontinued obsolete Apple (deprecated);. 
Jul 18 2021, 1:41 PM
makariusrISABELLE8c213672f6f3: clarified component setup: exclude jar from active component, but use sources…
makarius committed rISABELLE8c213672f6f3: clarified component setup: exclude jar from active component, but use sources…. 
Jul 18 2021, 1:27 PM
makariusrISABELLEb4f57bfe82e7: more robust "isabelle build_scala" as separate tool;
makarius committed rISABELLEb4f57bfe82e7: more robust "isabelle build_scala" as separate tool;. 
Jul 18 2021, 12:48 PM
makariusrISABELLEc13198575f75: tuned --- based on hints by IntelliJ IDEA;
makarius committed rISABELLEc13198575f75: tuned --- based on hints by IntelliJ IDEA;. 
Jul 17 2021, 11:09 PM
makariusrAFP1001c0dfced0: Minor changes to Finitely_Generated_Abelian_Groups, simplified and extended…
makarius mentioned this in rISABELLE57768f30d17c: more robust: avoid -D ~~/AFP/thys after crash of AFP.init (notably in…. 
Jul 17 2021, 10:51 PM
makariusrISABELLE57768f30d17c: more robust: avoid -D ~~/AFP/thys after crash of AFP.init (notably in…
makarius added an edge: rAFP1001c0dfced0: Minor changes to Finitely_Generated_Abelian_Groups, simplified and extended…. 
Jul 17 2021, 10:51 PM
makariusrISABELLE57768f30d17c: more robust: avoid -D ~~/AFP/thys after crash of AFP.init (notably in…
makarius committed rISABELLE57768f30d17c: more robust: avoid -D ~~/AFP/thys after crash of AFP.init (notably in…. 
Jul 17 2021, 10:50 PM
makariusrISABELLEec3249dd63dd: more portable across history;
makarius committed rISABELLEec3249dd63dd: more portable across history;. 
Jul 17 2021, 10:17 PM
makariusrISABELLEd6ae3a7d9cb0: proper isabelle.setup.Setup build;
makarius committed rISABELLEd6ae3a7d9cb0: proper isabelle.setup.Setup build;. 
Jul 17 2021, 10:12 PM
makariusrISABELLEa5e2654cfe28: rebuild component;
makarius committed rISABELLEa5e2654cfe28: rebuild component;. 
Jul 17 2021, 9:56 PM
makariusrISABELLEc9ec6f03ab91: more complete scala_project, including Isabelle/jEdit plugins;
makarius committed rISABELLEc9ec6f03ab91: more complete scala_project, including Isabelle/jEdit plugins;. 
Jul 17 2021, 9:52 PM
makariusrISABELLE09821ca262d3: clarified directories;
makarius committed rISABELLE09821ca262d3: clarified directories;. 
Jul 17 2021, 9:40 PM
makariusrISABELLE39e05601faeb: more accurate scala_project, based on build.props of components;
makarius committed rISABELLE39e05601faeb: more accurate scala_project, based on build.props of components;. 
Jul 17 2021, 9:31 PM
makariusrISABELLE0701ff55780d: clarified build_props: empty module means no build;
makarius committed rISABELLE0701ff55780d: clarified build_props: empty module means no build;. 
Jul 17 2021, 1:42 PM
makariusrISABELLE77cc23b550e9: tuned;
makarius committed rISABELLE77cc23b550e9: tuned;. 
Jul 17 2021, 12:59 PM
florian.haftmannrISABELLE47a568d9067e: CONTRIBUTORS
florian.haftmann committed rISABELLE47a568d9067e: CONTRIBUTORS. 
Jul 17 2021, 10:47 AM
makariusrISABELLEc4c612d92fcc: merged
makarius committed rISABELLEc4c612d92fcc: merged. 
Jul 16 2021, 10:32 PM
makariusrISABELLEd609fa3e816d: more robust;
makarius committed rISABELLEd609fa3e816d: more robust;. 
Jul 16 2021, 10:32 PM
makariusrISABELLE19ad7a099992: rebuild component;
makarius committed rISABELLE19ad7a099992: rebuild component;. 
Jul 16 2021, 10:27 PM
makariusrISABELLEfd4b4385ad3c: more robust: for the sake of Isabelle.app on macOS;
makarius committed rISABELLEfd4b4385ad3c: more robust: for the sake of Isabelle.app on macOS;. 
Jul 16 2021, 10:25 PM
makariusrISABELLEdfcef9ad5f45: more robust;
makarius committed rISABELLEdfcef9ad5f45: more robust;. 
Jul 16 2021, 10:19 PM
makariusrISABELLE483c200545c8: more robust;
makarius committed rISABELLE483c200545c8: more robust;. 
Jul 16 2021, 10:14 PM
makariusrISABELLEbad67fa41e71: more robust;
makarius committed rISABELLEbad67fa41e71: more robust;. 
Jul 16 2021, 10:09 PM
makariusrISABELLE08cece720cb5: rebuild component;
makarius committed rISABELLE08cece720cb5: rebuild component;. 
Jul 16 2021, 9:37 PM
makariusrISABELLE9d6c9a55f450: more informative errors: capture low-level compiler output;
makarius committed rISABELLE9d6c9a55f450: more informative errors: capture low-level compiler output;. 
Jul 16 2021, 9:35 PM
paulsonrISABELLE4cca14dc577c: merged
paulson committed rISABELLE4cca14dc577c: merged. 
Jul 16 2021, 9:13 PM
paulson <lp15@cam.ac.uk>rISABELLEdf976eefcba0: A few new lemmas and simplifications
paulson <lp15@cam.ac.uk> committed rISABELLEdf976eefcba0: A few new lemmas and simplifications. 
Jul 16 2021, 3:43 PM
blanchetterISABELLE1a0a536b8aaf: removed support for experimental Pirate prover
blanchette committed rISABELLE1a0a536b8aaf: removed support for experimental Pirate prover. 
Jul 16 2021, 3:42 PM
blanchetterISABELLE14de47e29fe4: get rid of remote_vampire since it's hard, if possible at all, to follow…
blanchette committed rISABELLE14de47e29fe4: get rid of remote_vampire since it's hard, if possible at all, to follow…. 
Jul 16 2021, 3:27 PM
makariusrISABELLEb4e6b82fdb9e: more direct isabelle_scala_build: always enabled, no "Admin" requirement;
makarius committed rISABELLEb4e6b82fdb9e: more direct isabelle_scala_build: always enabled, no "Admin" requirement;. 
Jul 16 2021, 1:18 PM
makariusrISABELLE027fb21bdd5d: tuned --- fewer warnings;
makarius committed rISABELLE027fb21bdd5d: tuned --- fewer warnings;. 
Jul 16 2021, 12:59 PM
makariusrISABELLE12b1f4649ab1: clarified names;
makarius committed rISABELLE12b1f4649ab1: clarified names;. 
Jul 16 2021, 12:55 PM
makariusrISABELLE3b8b1da2ff29: tuned --- fewer warnings;
makarius committed rISABELLE3b8b1da2ff29: tuned --- fewer warnings;. 
Jul 16 2021, 12:45 PM
makariusrISABELLEf114e11fe21d: clarified directory;
makarius committed rISABELLEf114e11fe21d: clarified directory;. 
Jul 16 2021, 12:40 PM
makariusrISABELLE341941afe827: clarified names;
makarius committed rISABELLE341941afe827: clarified names;. 
Jul 16 2021, 12:34 PM
First
Prev
Next