Author | Object | Transaction | Date |
---|
makarius | rISABELLE1d366486a812: clarified component setup for old graph browser; | | Jul 16 2021, 12:11 PM |
makarius | rISABELLE4f60db51a263: redundant: *.class and *.jar are already ignored; | | Jul 16 2021, 11:36 AM |
makarius | rISABELLE10abe3049bec: proper cat_lines: avoid last "\n"; | | Jul 16 2021, 11:32 AM |
blanchette | rAFP11e377bef9e9: compile | | Jul 16 2021, 9:34 AM |
makarius | rAFPc6645d183e9b: more realistic timeout: 50min CPU time; | | Jul 15 2021, 11:31 PM |
makarius | rISABELLE4d91b6d5d49c: clarified control style; | | Jul 15 2021, 11:20 PM |
makarius | rISABELLEde82b1251971: more robust (see 4d91b6d5d49c); | | Jul 15 2021, 11:20 PM |
makarius | rISABELLE59b6f0462086: clarified modules; | | Jul 15 2021, 11:20 PM |
makarius | rISABELLEc606a8ff5ccc: proper lines (amending 59b6f0462086); | | Jul 15 2021, 11:20 PM |
makarius | rISABELLE5c8a0580d513: merged | | Jul 15 2021, 10:51 PM |
makarius | rISABELLEe6e49f9cafd8: NEWS; | | Jul 15 2021, 10:49 PM |
makarius | rISABELLEf2d16e75bcf1: proper example; | | Jul 15 2021, 10:28 PM |
makarius | rISABELLE118057a1093b: more tests; | | Jul 15 2021, 10:14 PM |
makarius | rISABELLE4313e6c9969a: more robust: component might be absent; | | Jul 15 2021, 10:09 PM |
makarius | rISABELLE6b213c0115f5: clarified global state: allow to deactivate main plugin; | | Jul 15 2021, 10:07 PM |
makarius | rISABELLEb3f2da6bef51: more robust (again): allow to deactivate main plugin; | | Jul 15 2021, 9:35 PM |
makarius | rISABELLEf3409ced4df2: more complete dockables; | | Jul 15 2021, 9:21 PM |
makarius | rISABELLE0f61cd0ce803: tuned signature; | | Jul 15 2021, 9:11 PM |
makarius | rISABELLEde82b1251971: more robust (see 4d91b6d5d49c); | | Jul 15 2021, 9:07 PM |
makarius | rISABELLEfbb30dac95a2: clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin; | | Jul 15 2021, 8:15 PM |
makarius | rISABELLE3868fed3c34b: more robust; | | Jul 15 2021, 8:11 PM |
makarius | rISABELLEfecbf83ab281: tuned; | | Jul 15 2021, 7:51 PM |
makarius | rISABELLE9f42f2a80ef3: avoid non-standard encoding; | | Jul 15 2021, 6:56 PM |
makarius | rISABELLE778ab9983f40: proper cross-platform build: jdk component is required for… | | Jul 15 2021, 6:29 PM |
makarius | rISABELLE842fc354c031: more robust classpath: skip empty entries; | | Jul 15 2021, 6:18 PM |
makarius | rISABELLE678e1c9eb009: more robust: avoid duplicate classpath entries; | | Jul 15 2021, 5:33 PM |
makarius | rISABELLEfc363a3b690a: build.props for isabelle.jar, including isabelle.jedit; | | Jul 15 2021, 4:35 PM |
blanchette | rISABELLE84528a343f5f: extended the 'corec' format slightly | | Jul 15 2021, 4:11 PM |
makarius | rISABELLE13168094175b: more robust; | | Jul 15 2021, 4:01 PM |
makarius | rISABELLEeb7112f467a8: more portable: avoid Windows CRLF in classpath output; | | Jul 15 2021, 3:50 PM |
makarius | rISABELLEc606a8ff5ccc: proper lines (amending 59b6f0462086); | | Jul 15 2021, 12:51 PM |
Norbert Schirmer <nschirmer@apple.com> | rISABELLEebb0b15c66e1: refine interface | | Jul 15 2021, 8:09 AM |
Joseph Thommes <joseph-thommes@gmx.de> | rAFP1001c0dfced0: Minor changes to Finitely_Generated_Abelian_Groups, simplified and extended… | | Jul 14 2021, 6:06 PM |
blanchette | rISABELLE291f7b5fc7c9: prefer 'xxx' to 'xxx.yyy' to 'xxx(2)' in Sledgehammer, to some extent | | Jul 14 2021, 4:09 PM |
blanchette | rISABELLEe5322146e7e8: tuning | | Jul 14 2021, 3:18 PM |
blanchette | rISABELLE906ecb049141: 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 | | Jul 14 2021, 1:04 PM |
makarius | rISABELLEe2913fc81142: more systematic treatment of encodings; | | Jul 14 2021, 11:37 AM |
makarius | rISABELLEc1277bb04507: tuned; | | Jul 14 2021, 11:20 AM |
blanchette | rISABELLE2d8a0f8e30ec: correctly translate constructor argument in 'primrec' | | Jul 14 2021, 10:02 AM |
paulson <lp15@cam.ac.uk> | rAFP62ea872d1534: Finitely_Generated_Abelian_Groups website | | Jul 13 2021, 8:35 PM |
paulson <lp15@cam.ac.uk> | rAFPe37ae457c15a: new entry Finitely_Generated_Abelian_Groups | | Jul 13 2021, 8:31 PM |
paulson <lp15@cam.ac.uk> | rAFP6f6a17c6bdde: new entry Finitely_Generated_Abelian_Groups | | Jul 13 2021, 8:31 PM |
paulson <lp15@cam.ac.uk> | rISABELLEa5212df98387: simplified a few proofs | | Jul 13 2021, 4:25 PM |
blanchette | rISABELLEac28714b7478: avoid passing chained facts twice to preplay in Sledgehammer | | Jul 13 2021, 10:59 AM |
blanchette | rISABELLE8d93f9ca6518: revisited ac28714b7478: more faithful preplaying with chained facts | | Jul 13 2021, 10:59 AM |
blanchette | rISABELLE8d93f9ca6518: revisited ac28714b7478: more faithful preplaying with chained facts | | Jul 13 2021, 10:57 AM |
blanchette | rISABELLE6a0e1c14a8c2: wait for E 2.7 before using 'ite' in HO mode | | Jul 13 2021, 10:57 AM |
blanchette | rISABELLEf0d231ead660: added alternative E binary name | | Jul 13 2021, 10:57 AM |
florian.haftmann | rAFP1ed4c9f5c24d: more coherent dependencies | | Jul 12 2021, 10:18 PM |
kappelmann | rAFP44953ff0d822: fix(Regex_Equivalence) update to new SpecCheck version | | Jul 12 2021, 7:15 PM |
blanchette | rISABELLEb304285fd800: parse logical operators in the right order w.r.t. backtracking | | Jul 12 2021, 4:30 PM |
blanchette | rISABELLE96a05b8462f9: improved warning | | Jul 12 2021, 4:30 PM |
blanchette | rISABELLE34c8cf767fa3: adjusted E setup to avoid generating FOOL with 2.5 (where 'ite' is missing) | | Jul 12 2021, 4:30 PM |
florian.haftmann | rAFPd77834415899: operations for symbolic computation of bit operations | | Jul 12 2021, 1:41 PM |
florian.haftmann | rISABELLEca2a35c0fe6e: operations for symbolic computation of bit operations | | Jul 12 2021, 1:41 PM |
florian.haftmann | rISABELLE0274d442b7ea: proper local context | | Jul 12 2021, 1:41 PM |
desharna | rAFP835c58e469d3: fixed Proof_Strategy_Language following Isabelle/f58108b7a60c | | Jul 12 2021, 8:56 AM |
desharna | rISABELLEf58108b7a60c: refactored Sledgehammer option "induction_rules" | | Jul 12 2021, 8:56 AM |
desharna | rAFP835c58e469d3: fixed Proof_Strategy_Language following Isabelle/f58108b7a60c | | Jul 12 2021, 8:43 AM |
makarius | rISABELLEc9771e1b3223: strict shasum: this is used on input files; | | Jul 11 2021, 9:32 PM |
makarius | rISABELLE472bdccfba62: even more strict shasum (amending c9771e1b3223); | | Jul 11 2021, 9:32 PM |
makarius | rISABELLE90652c0ef969: shasum for project meta-info; | | Jul 11 2021, 9:29 PM |
makarius | rISABELLE472bdccfba62: even more strict shasum (amending c9771e1b3223); | | Jul 11 2021, 9:13 PM |
makarius | rISABELLEf6862d5f4e7f: clarified Isabelle meta-info within jar; | | Jul 11 2021, 9:00 PM |
makarius | rISABELLEc9771e1b3223: strict shasum: this is used on input files; | | Jul 11 2021, 8:47 PM |
makarius | rISABELLE59b6f0462086: clarified modules; | | Jul 11 2021, 4:57 PM |
makarius | rISABELLE5351719ab2a0: support for command-line operations; | | Jul 11 2021, 1:48 PM |
makarius | rISABELLEf090787bb4c4: operations for all components; | | Jul 11 2021, 1:46 PM |
makarius | rISABELLE027f837d18ee: clarified signature; | | Jul 11 2021, 12:58 PM |
makarius | rISABELLEe17f76705cee: merged | | Jul 9 2021, 9:24 PM |
makarius | rISABELLE262dc3bafd15: rebuild component; | | Jul 9 2021, 9:07 PM |
makarius | rISABELLE110a027a5473: expand file paths, e.g. to allow $ISABELLE_HOME, $ISABELLE_HOME_USER; | | Jul 9 2021, 9:05 PM |
makarius | rISABELLEac1884965dc8: support expand_platform_path, which is reminiscent of isabelle.Path.expand; | | Jul 9 2021, 9:03 PM |
desharna | rISABELLE57423714c29d: fixed HOL-TPTP following f58108b7a60c | | Jul 9 2021, 6:00 PM |
desharna | rISABELLEf58108b7a60c: refactored Sledgehammer option "induction_rules" | | Jul 9 2021, 6:00 PM |
desharna | rISABELLE3aace56d282e: merged | | Jul 9 2021, 5:59 PM |
desharna | rISABELLE57423714c29d: fixed HOL-TPTP following f58108b7a60c | | Jul 9 2021, 5:58 PM |
makarius | rISABELLE2b9ae1aa9257: skip scalac for Java build; | | Jul 9 2021, 5:56 PM |
makarius | rISABELLEa3a64aab815a: support mixed Scala/Java build; | | Jul 9 2021, 2:43 PM |
makarius | rISABELLE0b5e6851c722: clarified javac options; | | Jul 9 2021, 2:41 PM |
makarius | rISABELLE74ab1fb470a3: clarified syntax: similar to URL; | | Jul 9 2021, 1:46 PM |
makarius | rISABELLEf209845d3a5d: clarified signature; | | Jul 9 2021, 1:41 PM |
nipkow | rISABELLEd4af818e0880: Backed out changeset fe8d0f4da0e6 | | Jul 9 2021, 10:36 AM |
Fabian Huch <huch@in.tum.de> | rISABELLE76dbf39a708d: jenkins: add pre/post-hook results for benchmark | | Jul 9 2021, 8:48 AM |
Andreas Lochbihler <mail@andreas-lochbihler.de> | rAFPe7547e409434: SpecCheck now without _ (Regex_Equivalence is still broken) | | Jul 9 2021, 7:48 AM |
kappelmann | rISABELLEfe8d0f4da0e6: remove SpecCheck; it is now part of the AFP | | Jul 8 2021, 10:58 PM |
makarius | rISABELLEcc49da3003aa: more robust; | | Jul 8 2021, 10:21 PM |
makarius | rISABELLE714c267bb6fa: more robust; | | Jul 8 2021, 10:17 PM |
makarius | rISABELLE731ab64bae97: 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 entries | | Jul 8 2021, 9:31 PM |
Andreas Lochbihler <mail@andreas-lochbihler.de> | T1: Support for Mercurial tags | | Jul 8 2021, 9:31 PM |
Andreas Lochbihler <mail@andreas-lochbihler.de> | rAFPa8a03d5e5117: T1 fontenc for new entries | | Jul 8 2021, 9:18 PM |
Andreas Lochbihler <mail@andreas-lochbihler.de> | rAFP2992e460f579: sitegen | | Jul 8 2021, 9:15 PM |
Andreas Lochbihler <mail@andreas-lochbihler.de> | rAFP1c2e8c2011c9: update hide_lams -> opaque_lifting | | Jul 8 2021, 9:14 PM |
Andreas Lochbihler <mail@andreas-lochbihler.de> | rAFPa60ccd2e9cc6: merged from afp2021 | | Jul 8 2021, 8:58 PM |
Andreas Lochbihler <mail@andreas-lochbihler.de> | rAFP4e8ba94d4183: website for SpecCheck | | Jul 8 2021, 8:20 PM |
Andreas Lochbihler <mail@andreas-lochbihler.de> | rAFP44d6d533286d: new entry SpecCheck | | Jul 8 2021, 8:15 PM |
Susannah Mansky <susannahej@gmail.com> | rAFPfe45d0404b6b: Removal of unintended files | | Jul 8 2021, 5:44 PM |
Susannah Mansky <susannahej@gmail.com> | rAFP6de5937fcbcb: Hidden.thy to Isar | | Jul 8 2021, 5:44 PM |