Page MenuHomeIsabelle/Phabricator
Feed All Transactions
AuthorObjectTransactionDate
makariusrISABELLE1d366486a812: clarified component setup for old graph browser;Jul 16 2021, 12:11 PM
makariusrISABELLE4f60db51a263: redundant: *.class and *.jar are already ignored;Jul 16 2021, 11:36 AM
makariusrISABELLE10abe3049bec: proper cat_lines: avoid last "\n";Jul 16 2021, 11:32 AM
blanchetterAFP11e377bef9e9: compileJul 16 2021, 9:34 AM
makariusrAFPc6645d183e9b: more realistic timeout: 50min CPU time;Jul 15 2021, 11:31 PM
makariusrISABELLE4d91b6d5d49c: clarified control style;Jul 15 2021, 11:20 PM
makariusrISABELLEde82b1251971: more robust (see 4d91b6d5d49c);Jul 15 2021, 11:20 PM
makariusrISABELLE59b6f0462086: clarified modules;Jul 15 2021, 11:20 PM
makariusrISABELLEc606a8ff5ccc: proper lines (amending 59b6f0462086);Jul 15 2021, 11:20 PM
makariusrISABELLE5c8a0580d513: mergedJul 15 2021, 10:51 PM
makariusrISABELLEe6e49f9cafd8: NEWS;Jul 15 2021, 10:49 PM
makariusrISABELLEf2d16e75bcf1: proper example;Jul 15 2021, 10:28 PM
makariusrISABELLE118057a1093b: more tests;Jul 15 2021, 10:14 PM
makariusrISABELLE4313e6c9969a: more robust: component might be absent;Jul 15 2021, 10:09 PM
makariusrISABELLE6b213c0115f5: clarified global state: allow to deactivate main plugin;Jul 15 2021, 10:07 PM
makariusrISABELLEb3f2da6bef51: more robust (again): allow to deactivate main plugin;Jul 15 2021, 9:35 PM
makariusrISABELLEf3409ced4df2: more complete dockables;Jul 15 2021, 9:21 PM
makariusrISABELLE0f61cd0ce803: tuned signature;Jul 15 2021, 9:11 PM
makariusrISABELLEde82b1251971: more robust (see 4d91b6d5d49c);Jul 15 2021, 9:07 PM
makariusrISABELLEfbb30dac95a2: clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;Jul 15 2021, 8:15 PM
makariusrISABELLE3868fed3c34b: more robust;Jul 15 2021, 8:11 PM
makariusrISABELLEfecbf83ab281: tuned;Jul 15 2021, 7:51 PM
makariusrISABELLE9f42f2a80ef3: avoid non-standard encoding;Jul 15 2021, 6:56 PM
makariusrISABELLE778ab9983f40: proper cross-platform build: jdk component is required for…Jul 15 2021, 6:29 PM
makariusrISABELLE842fc354c031: more robust classpath: skip empty entries;Jul 15 2021, 6:18 PM
makariusrISABELLE678e1c9eb009: more robust: avoid duplicate classpath entries;Jul 15 2021, 5:33 PM
makariusrISABELLEfc363a3b690a: build.props for isabelle.jar, including isabelle.jedit;Jul 15 2021, 4:35 PM
blanchetterISABELLE84528a343f5f: extended the 'corec' format slightlyJul 15 2021, 4:11 PM
makariusrISABELLE13168094175b: more robust;Jul 15 2021, 4:01 PM
makariusrISABELLEeb7112f467a8: more portable: avoid Windows CRLF in classpath output;Jul 15 2021, 3:50 PM
makariusrISABELLEc606a8ff5ccc: proper lines (amending 59b6f0462086);Jul 15 2021, 12:51 PM
Joseph Thommes <joseph-thommes@gmx.de>rAFP1001c0dfced0: Minor changes to Finitely_Generated_Abelian_Groups, simplified and extended…Jul 14 2021, 6:06 PM
blanchetterISABELLE291f7b5fc7c9: prefer 'xxx' to 'xxx.yyy' to 'xxx(2)' in Sledgehammer, to some extentJul 14 2021, 4:09 PM
blanchetterISABELLEe5322146e7e8: tuningJul 14 2021, 3:18 PM
blanchetterISABELLE906ecb049141: rephrase Nitpick constraint in more first-order format that's also more…Jul 14 2021, 2:24 PM
Lars Hupel <lars.hupel@mytum.de>rAFPaea1cfc63762: remove duplicate entry in metadata
Lars Hupel <lars.hupel@mytum.de> committed rAFPaea1cfc63762: remove duplicate entry in metadata. 
Jul 14 2021, 1:04 PM
makariusrISABELLEe2913fc81142: more systematic treatment of encodings;Jul 14 2021, 11:37 AM
makariusrISABELLEc1277bb04507: tuned;Jul 14 2021, 11:20 AM
blanchetterISABELLE2d8a0f8e30ec: correctly translate constructor argument in 'primrec'Jul 14 2021, 10:02 AM
paulson <lp15@cam.ac.uk>rAFP62ea872d1534: Finitely_Generated_Abelian_Groups websiteJul 13 2021, 8:35 PM
paulson <lp15@cam.ac.uk>rAFPe37ae457c15a: new entry Finitely_Generated_Abelian_GroupsJul 13 2021, 8:31 PM
paulson <lp15@cam.ac.uk>rAFP6f6a17c6bdde: new entry Finitely_Generated_Abelian_GroupsJul 13 2021, 8:31 PM
paulson <lp15@cam.ac.uk>rISABELLEa5212df98387: simplified a few proofs
paulson <lp15@cam.ac.uk> committed rISABELLEa5212df98387: simplified a few proofs. 
Jul 13 2021, 4:25 PM
blanchetterISABELLEac28714b7478: avoid passing chained facts twice to preplay in SledgehammerJul 13 2021, 10:59 AM
blanchetterISABELLE8d93f9ca6518: revisited ac28714b7478: more faithful preplaying with chained factsJul 13 2021, 10:59 AM
blanchetterISABELLE8d93f9ca6518: revisited ac28714b7478: more faithful preplaying with chained factsJul 13 2021, 10:57 AM
blanchetterISABELLE6a0e1c14a8c2: wait for E 2.7 before using 'ite' in HO modeJul 13 2021, 10:57 AM
blanchetterISABELLEf0d231ead660: added alternative E binary nameJul 13 2021, 10:57 AM
florian.haftmannrAFP1ed4c9f5c24d: more coherent dependenciesJul 12 2021, 10:18 PM
kappelmannrAFP44953ff0d822: fix(Regex_Equivalence) update to new SpecCheck versionJul 12 2021, 7:15 PM
blanchetterISABELLEb304285fd800: parse logical operators in the right order w.r.t. backtrackingJul 12 2021, 4:30 PM
blanchetterISABELLE96a05b8462f9: improved warningJul 12 2021, 4:30 PM
blanchetterISABELLE34c8cf767fa3: adjusted E setup to avoid generating FOOL with 2.5 (where 'ite' is missing)Jul 12 2021, 4:30 PM
florian.haftmannrAFPd77834415899: operations for symbolic computation of bit operationsJul 12 2021, 1:41 PM
florian.haftmannrISABELLEca2a35c0fe6e: operations for symbolic computation of bit operationsJul 12 2021, 1:41 PM
florian.haftmannrISABELLE0274d442b7ea: proper local contextJul 12 2021, 1:41 PM
desharnarAFP835c58e469d3: fixed Proof_Strategy_Language following Isabelle/f58108b7a60cJul 12 2021, 8:56 AM
desharnarISABELLEf58108b7a60c: refactored Sledgehammer option "induction_rules"Jul 12 2021, 8:56 AM
desharnarAFP835c58e469d3: fixed Proof_Strategy_Language following Isabelle/f58108b7a60cJul 12 2021, 8:43 AM
makariusrISABELLEc9771e1b3223: strict shasum: this is used on input files;Jul 11 2021, 9:32 PM
makariusrISABELLE472bdccfba62: even more strict shasum (amending c9771e1b3223);Jul 11 2021, 9:32 PM
makariusrISABELLE90652c0ef969: shasum for project meta-info;Jul 11 2021, 9:29 PM
makariusrISABELLE472bdccfba62: even more strict shasum (amending c9771e1b3223);Jul 11 2021, 9:13 PM
makariusrISABELLEf6862d5f4e7f: clarified Isabelle meta-info within jar;Jul 11 2021, 9:00 PM
makariusrISABELLEc9771e1b3223: strict shasum: this is used on input files;Jul 11 2021, 8:47 PM
makariusrISABELLE59b6f0462086: clarified modules;Jul 11 2021, 4:57 PM
makariusrISABELLE5351719ab2a0: support for command-line operations;Jul 11 2021, 1:48 PM
makariusrISABELLEf090787bb4c4: operations for all components;Jul 11 2021, 1:46 PM
makariusrISABELLE027f837d18ee: clarified signature;Jul 11 2021, 12:58 PM
makariusrISABELLEe17f76705cee: mergedJul 9 2021, 9:24 PM
makariusrISABELLE262dc3bafd15: rebuild component;Jul 9 2021, 9:07 PM
makariusrISABELLE110a027a5473: expand file paths, e.g. to allow $ISABELLE_HOME, $ISABELLE_HOME_USER;Jul 9 2021, 9:05 PM
makariusrISABELLEac1884965dc8: support expand_platform_path, which is reminiscent of isabelle.Path.expand;Jul 9 2021, 9:03 PM
desharnarISABELLE57423714c29d: fixed HOL-TPTP following f58108b7a60cJul 9 2021, 6:00 PM
desharnarISABELLEf58108b7a60c: refactored Sledgehammer option "induction_rules"Jul 9 2021, 6:00 PM
desharnarISABELLE3aace56d282e: merged
desharna committed rISABELLE3aace56d282e: merged. 
Jul 9 2021, 5:59 PM
desharnarISABELLE57423714c29d: fixed HOL-TPTP following f58108b7a60cJul 9 2021, 5:58 PM
makariusrISABELLE2b9ae1aa9257: skip scalac for Java build;Jul 9 2021, 5:56 PM
makariusrISABELLEa3a64aab815a: support mixed Scala/Java build;Jul 9 2021, 2:43 PM
makariusrISABELLE0b5e6851c722: clarified javac options;Jul 9 2021, 2:41 PM
makariusrISABELLE74ab1fb470a3: clarified syntax: similar to URL;Jul 9 2021, 1:46 PM
makariusrISABELLEf209845d3a5d: clarified signature;Jul 9 2021, 1:41 PM
nipkowrISABELLEd4af818e0880: Backed out changeset fe8d0f4da0e6Jul 9 2021, 10:36 AM
Fabian Huch <huch@in.tum.de>rISABELLE76dbf39a708d: jenkins: add pre/post-hook results for benchmarkJul 9 2021, 8:48 AM
Andreas Lochbihler <mail@andreas-lochbihler.de>rAFPe7547e409434: SpecCheck now without _ (Regex_Equivalence is still broken)
Andreas Lochbihler <mail@andreas-lochbihler.de> committed rAFPe7547e409434: SpecCheck now without _ (Regex_Equivalence is still broken). 
Jul 9 2021, 7:48 AM
kappelmannrISABELLEfe8d0f4da0e6: remove SpecCheck; it is now part of the AFPJul 8 2021, 10:58 PM
makariusrISABELLEcc49da3003aa: more robust;Jul 8 2021, 10:21 PM
makariusrISABELLE714c267bb6fa: more robust;Jul 8 2021, 10:17 PM
makariusrISABELLE731ab64bae97: more compiler_deps via "requirements", notably jar list from settings;Jul 8 2021, 10:07 PM
Andreas Lochbihler <mail@andreas-lochbihler.de>rAFPa8a03d5e5117: T1 fontenc for new entriesJul 8 2021, 9:31 PM
Andreas Lochbihler <mail@andreas-lochbihler.de>T1: Support for Mercurial tagsJul 8 2021, 9:31 PM
Andreas Lochbihler <mail@andreas-lochbihler.de>rAFPa8a03d5e5117: T1 fontenc for new entries
Andreas Lochbihler <mail@andreas-lochbihler.de> committed rAFPa8a03d5e5117: T1 fontenc for new entries. 
Jul 8 2021, 9:18 PM
Andreas Lochbihler <mail@andreas-lochbihler.de>rAFP2992e460f579: sitegen
Andreas Lochbihler <mail@andreas-lochbihler.de> committed rAFP2992e460f579: sitegen. 
Jul 8 2021, 9:15 PM
Andreas Lochbihler <mail@andreas-lochbihler.de>rAFP1c2e8c2011c9: update hide_lams -> opaque_lifting
Andreas Lochbihler <mail@andreas-lochbihler.de> committed rAFP1c2e8c2011c9: update hide_lams -> opaque_lifting. 
Jul 8 2021, 9:14 PM
Andreas Lochbihler <mail@andreas-lochbihler.de>rAFPa60ccd2e9cc6: merged from afp2021
Andreas Lochbihler <mail@andreas-lochbihler.de> committed rAFPa60ccd2e9cc6: merged from afp2021. 
Jul 8 2021, 8:58 PM
Andreas Lochbihler <mail@andreas-lochbihler.de>rAFP4e8ba94d4183: website for SpecCheck
Andreas Lochbihler <mail@andreas-lochbihler.de> committed rAFP4e8ba94d4183: website for SpecCheck. 
Jul 8 2021, 8:20 PM
Andreas Lochbihler <mail@andreas-lochbihler.de>rAFP44d6d533286d: new entry SpecCheck
Andreas Lochbihler <mail@andreas-lochbihler.de> committed rAFP44d6d533286d: new entry SpecCheck. 
Jul 8 2021, 8:15 PM
Susannah Mansky <susannahej@gmail.com>rAFPfe45d0404b6b: Removal of unintended files
Susannah Mansky <susannahej@gmail.com> committed rAFPfe45d0404b6b: Removal of unintended files. 
Jul 8 2021, 5:44 PM
Susannah Mansky <susannahej@gmail.com>rAFP6de5937fcbcb: Hidden.thy to Isar
Susannah Mansky <susannahej@gmail.com> committed rAFP6de5937fcbcb: Hidden.thy to Isar. 
Jul 8 2021, 5:44 PM
desharnarISABELLEbec00c7ef8dd: documented Sledgehammer option "induction_rules"Jul 8 2021, 5:43 PM