Page MenuHomeIsabelle/Phabricator
Feed All Transactions

All Transactions
Use Results
Edit Query

AuthorObjectTransactionDate
pruvistorISABELLEa3f7f00b4fd8: Removed unnecessary and problematic trivial lemma from HOL-Algebra
pruvisto committed rISABELLEa3f7f00b4fd8: Removed unnecessary and problematic trivial lemma from HOL-Algebra. 
Fri, Jan 17, 6:58 PM
makariusrISABELLE5556ae257df9: proper executable file;
makarius committed rISABELLE5556ae257df9: proper executable file;. 
Thu, Jan 16, 5:04 PM
makariusrISABELLE5e7ba6aa85d7: more documentation: odd option for special situations;
makarius committed rISABELLE5e7ba6aa85d7: more documentation: odd option for special situations;. 
Thu, Jan 16, 4:41 PM
makariusrISABELLE21995f5e8126: tuned;
makarius committed rISABELLE21995f5e8126: tuned;. 
Thu, Jan 16, 4:35 PM
makariusrISABELLE57861bd0a3e1: updated to sumatra_pdf-3.1.2-1: x86_64-windows;
makarius committed rISABELLE57861bd0a3e1: updated to sumatra_pdf-3.1.2-1: x86_64-windows;. 
Thu, Jan 16, 4:15 PM
makariusrISABELLEb3b992f6ad8f: updated to stack-2.1.3, stackage lts-13.19, ghc-8.6.4;
makarius mentioned this in T11: HOL-Quickcheck_Examples fails on Windows. 
Thu, Jan 16, 4:07 PM
makariusT11: HOL-Quickcheck_Examples fails on Windows
makarius created this object with edit policy "Task Author". 
Thu, Jan 16, 4:07 PM
makariusT11: HOL-Quickcheck_Examples fails on Windows
makarius added a subscriber: makarius. 
Thu, Jan 16, 4:07 PM
makariusT11: HOL-Quickcheck_Examples fails on Windows
makarius created this task. 
Thu, Jan 16, 4:07 PM
makariusT11: HOL-Quickcheck_Examples fails on Windows
makarius added an edge: rISABELLEb3b992f6ad8f: updated to stack-2.1.3, stackage lts-13.19, ghc-8.6.4;. 
Thu, Jan 16, 4:07 PM
makariusT11: HOL-Quickcheck_Examples fails on Windows
makarius updated the task description. 
Thu, Jan 16, 4:07 PM
makariusT11: HOL-Quickcheck_Examples fails on Windows
makarius created this object with visibility "Public (No Login Required)". 
Thu, Jan 16, 4:07 PM
makariusT11: HOL-Quickcheck_Examples fails on Windows
makarius triaged this task as Low priority. 
Thu, Jan 16, 4:07 PM
makariusT11: HOL-Quickcheck_Examples fails on Windows
makarius created this task. 
Thu, Jan 16, 4:07 PM
makariusrISABELLEb3b992f6ad8f: updated to stack-2.1.3, stackage lts-13.19, ghc-8.6.4;
makarius committed rISABELLEb3b992f6ad8f: updated to stack-2.1.3, stackage lts-13.19, ghc-8.6.4;. 
Thu, Jan 16, 3:34 PM
makariusrISABELLE7e8e5e1f8f90: updated to opam-2.0.6;
makarius committed rISABELLE7e8e5e1f8f90: updated to opam-2.0.6;. 
Thu, Jan 16, 3:10 PM
makariusrISABELLE06bb82e7af2a: updated to current cygwin, after 3.1.2-1 from 21-Dec-2019;
makarius committed rISABELLE06bb82e7af2a: updated to current cygwin, after 3.1.2-1 from 21-Dec-2019;. 
Thu, Jan 16, 2:07 PM
makariusT10: Font rendering quality in OpenJDK 11 vs. 13
makarius created this object with visibility "Public (No Login Required)". 
Thu, Jan 16, 12:08 PM
makariusT10: Font rendering quality in OpenJDK 11 vs. 13
makarius created this task. 
Thu, Jan 16, 12:08 PM
makariusT10: Font rendering quality in OpenJDK 11 vs. 13
makarius created this object with edit policy "Task Author". 
Thu, Jan 16, 12:08 PM
makariusT10: Font rendering quality in OpenJDK 11 vs. 13
makarius updated the task description. 
Thu, Jan 16, 12:08 PM
makariusT10: Font rendering quality in OpenJDK 11 vs. 13
makarius triaged this task as Low priority. 
Thu, Jan 16, 12:08 PM
makariusT10: Font rendering quality in OpenJDK 11 vs. 13
makarius created this task. 
Thu, Jan 16, 12:08 PM
makariusT10: Font rendering quality in OpenJDK 11 vs. 13
makarius added a subscriber: makarius. 
Thu, Jan 16, 12:08 PM
makariusrISABELLE0243bf758e79: updated to jdk-11.0.6+10;
makarius committed rISABELLE0243bf758e79: updated to jdk-11.0.6+10;. 
Wed, Jan 15, 8:11 PM
makariusrISABELLE8313dca6dee9: misc tuning, following hint by IntelliJ;
makarius committed rISABELLE8313dca6dee9: misc tuning, following hint by IntelliJ;. 
Wed, Jan 15, 7:54 PM
makariusrISABELLE6316debd3a9f: tuned;
makarius committed rISABELLE6316debd3a9f: tuned;. 
Wed, Jan 15, 7:49 PM
makariusrISABELLEb9ea2467c929: tuned -- avoid deprecated constructors;
makarius committed rISABELLEb9ea2467c929: tuned -- avoid deprecated constructors;. 
Wed, Jan 15, 7:46 PM
makariusrISABELLE5965e6e3c3ec: proper comparison of Option values, following hint by IntelliJ;
makarius committed rISABELLE5965e6e3c3ec: proper comparison of Option values, following hint by IntelliJ;. 
Wed, Jan 15, 7:45 PM
makariusrISABELLE942cc80ba18a: unused -- clone of Option.apply;
makarius committed rISABELLE942cc80ba18a: unused -- clone of Option.apply;. 
Wed, Jan 15, 4:18 PM
makariusrISABELLE820cf124dced: added "isabelle scala_project" to support e.g. IntelliJ IDEA;
makarius mentioned this in Blog Post: Command-line tool "isabelle scala_project". 
Wed, Jan 15, 3:34 PM
makariusBlog Post: Command-line tool "isabelle scala_project"
makarius created this post. 
Wed, Jan 15, 3:34 PM
makariusBlog Post: Command-line tool "isabelle scala_project"
makarius published this post. 
Wed, Jan 15, 3:34 PM
makariusBlog Post: Command-line tool "isabelle scala_project"
makarius added an edge: rISABELLE820cf124dced: added "isabelle scala_project" to support e.g. IntelliJ IDEA;. 
Wed, Jan 15, 3:34 PM
makariusBlog Post: Command-line tool "isabelle scala_project"
makarius renamed this blog post from to Command-line tool "isabelle scala_project". 
Wed, Jan 15, 3:34 PM
makariusBlog Post: Command-line tool "isabelle scala_project"
makarius updated the post content. 
Wed, Jan 15, 3:34 PM
makariusBlog Post: Command-line tool "isabelle scala_project"
makarius set this post's subtitle to "". 
Wed, Jan 15, 3:34 PM
makariusrISABELLE820cf124dced: added "isabelle scala_project" to support e.g. IntelliJ IDEA;
makarius committed rISABELLE820cf124dced: added "isabelle scala_project" to support e.g. IntelliJ IDEA;. 
Wed, Jan 15, 3:05 PM
makariusrISABELLEe40f287c25c4: unused;
makarius committed rISABELLEe40f287c25c4: unused;. 
Wed, Jan 15, 1:22 PM
makariusrISABELLE26801434d628: more antiquotations;
makarius committed rISABELLE26801434d628: more antiquotations;. 
Tue, Jan 14, 4:03 PM
makariusT9: Evaluate https://discourse.org as replacement for mailman, stackoverflow, zulip
makarius added a comment. 
Mon, Jan 13, 2:24 PM
makariusrISABELLE5ccf60c1f47c: tuned messages;
makarius committed rISABELLE5ccf60c1f47c: tuned messages;. 
Mon, Jan 13, 12:11 PM
makariusrISABELLE7832d912d950: tuned;
makarius committed rISABELLE7832d912d950: tuned;. 
Mon, Jan 13, 12:09 PM
makariusPeter Lammich
makarius assigned this identity to peter_lammich. 
Mon, Jan 13, 11:52 AM
makariusisabelle-repository
makarius added a member: peter_lammich. 
Mon, Jan 13, 11:50 AM
makariusrISABELLE201486ced92d: clarified output channel;
makarius committed rISABELLE201486ced92d: clarified output channel;. 
Mon, Jan 13, 11:19 AM
makariusrISABELLE85274743f789: clarified option -f: avoid accidental target_clean for proper release snapshot;
makarius committed rISABELLE85274743f789: clarified option -f: avoid accidental target_clean for proper release snapshot;. 
Mon, Jan 13, 11:18 AM
makariusrISABELLE1c4ec697bee5: more robust;
makarius committed rISABELLE1c4ec697bee5: more robust;. 
Sun, Jan 12, 11:29 PM
makariusrISABELLEb05aca9cee75: updated to sqlite-jdbc-3.30.1;
makarius committed rISABELLEb05aca9cee75: updated to sqlite-jdbc-3.30.1;. 
Sun, Jan 12, 10:54 PM
makariusrISABELLE897ff7e68a10: updated to postgresql-42.2.9;
makarius committed rISABELLE897ff7e68a10: updated to postgresql-42.2.9;. 
Sun, Jan 12, 10:21 PM
makariusrISABELLEfd5cd1daf6a9: build in $ISABELLE_HOME;
makarius committed rISABELLEfd5cd1daf6a9: build in $ISABELLE_HOME;. 
Sun, Jan 12, 9:35 PM
makariusrISABELLE91d5a8255c98: build in $ISABELLE_HOME;
makarius committed rISABELLE91d5a8255c98: build in $ISABELLE_HOME;. 
Sun, Jan 12, 5:53 PM
makariusT9: Evaluate https://discourse.org as replacement for mailman, stackoverflow, zulip
makarius updated the task description. 
Sun, Jan 12, 4:19 PM
makariusT9: Evaluate https://discourse.org as replacement for mailman, stackoverflow, zulip
makarius updated the task description. 
Sun, Jan 12, 4:18 PM
makariusT9: Evaluate https://discourse.org as replacement for mailman, stackoverflow, zulip
makarius updated the task description. 
Sun, Jan 12, 4:18 PM
makariusT9: Evaluate https://discourse.org as replacement for mailman, stackoverflow, zulip
makarius created this task. 
Sun, Jan 12, 4:14 PM
makariusT9: Evaluate https://discourse.org as replacement for mailman, stackoverflow, zulip
makarius created this object with edit policy "Task Author". 
Sun, Jan 12, 4:14 PM
makariusT9: Evaluate https://discourse.org as replacement for mailman, stackoverflow, zulip
makarius added a subscriber: makarius. 
Sun, Jan 12, 4:14 PM
makariusT9: Evaluate https://discourse.org as replacement for mailman, stackoverflow, zulip
makarius claimed this task. 
Sun, Jan 12, 4:14 PM
makariusT9: Evaluate https://discourse.org as replacement for mailman, stackoverflow, zulip
makarius triaged this task as Low priority. 
Sun, Jan 12, 4:14 PM
makariusT9: Evaluate https://discourse.org as replacement for mailman, stackoverflow, zulip
makarius updated the task description. 
Sun, Jan 12, 4:14 PM
makariusT9: Evaluate https://discourse.org as replacement for mailman, stackoverflow, zulip
makarius created this task. 
Sun, Jan 12, 4:14 PM
makariusT9: Evaluate https://discourse.org as replacement for mailman, stackoverflow, zulip
makarius created this object with visibility "Public (No Login Required)". 
Sun, Jan 12, 4:14 PM
makariusT3: Adapt Isabelle/VSCode to Webview API
makarius added a comment. 
Sun, Jan 12, 4:10 PM
makariusT8: Clarify underlying Mercurial version
makarius added a project: phabricator-setup. 
Sun, Jan 12, 4:06 PM
makariusT8: Clarify underlying Mercurial version
makarius claimed this task. 
Sun, Jan 12, 4:05 PM
makariusrISABELLE597059a44d6f: prefer mercurial-2.8.2 for more robustness (i.e. the version used by the…
makarius mentioned this in T8: Clarify underlying Mercurial version. 
Sun, Jan 12, 3:50 PM
makariusT8: Clarify underlying Mercurial version
makarius created this task. 
Sun, Jan 12, 3:50 PM
makariusT8: Clarify underlying Mercurial version
makarius triaged this task as Low priority. 
Sun, Jan 12, 3:50 PM
makariusT8: Clarify underlying Mercurial version
makarius created this task. 
Sun, Jan 12, 3:50 PM
makariusT8: Clarify underlying Mercurial version
makarius created this object with edit policy "Task Author". 
Sun, Jan 12, 3:50 PM
makariusT8: Clarify underlying Mercurial version
makarius updated the task description. 
Sun, Jan 12, 3:50 PM
makariusT8: Clarify underlying Mercurial version
makarius created this object with visibility "Public (No Login Required)". 
Sun, Jan 12, 3:50 PM
makariusT8: Clarify underlying Mercurial version
makarius added a subscriber: makarius. 
Sun, Jan 12, 3:50 PM
makariusT8: Clarify underlying Mercurial version
makarius added an edge: rISABELLE597059a44d6f: prefer mercurial-2.8.2 for more robustness (i.e. the version used by the…. 
Sun, Jan 12, 3:50 PM
makariusrISABELLEf0581273bd7b: clarified fresh build;
makarius committed rISABELLEf0581273bd7b: clarified fresh build;. 
Sat, Jan 11, 5:15 PM
makariusrISABELLE462f341407b4: tuned documentation;
makarius committed rISABELLE462f341407b4: tuned documentation;. 
Sat, Jan 11, 4:22 PM
makariusrISABELLEaecea7c4bda1: tuned;
makarius committed rISABELLEaecea7c4bda1: tuned;. 
Sat, Jan 11, 3:04 PM
makariusrISABELLEce3409dfb18c: clarified script name;
makarius committed rISABELLEce3409dfb18c: clarified script name;. 
Fri, Jan 10, 4:37 PM
makariusrISABELLE597059a44d6f: prefer mercurial-2.8.2 for more robustness (i.e. the version used by the…
makarius added a comment. 
Fri, Jan 10, 4:07 PM
makariusrISABELLE597059a44d6f: prefer mercurial-2.8.2 for more robustness (i.e. the version used by the…
makarius added a comment. 
Fri, Jan 10, 4:03 PM
makariusrISABELLE597059a44d6f: prefer mercurial-2.8.2 for more robustness (i.e. the version used by the…
makarius committed rISABELLE597059a44d6f: prefer mercurial-2.8.2 for more robustness (i.e. the version used by the…. 
Fri, Jan 10, 3:42 PM
Julian Brunner <julianbrunner@gmail.com>rAFP3d850b1af9cd: small adjustments for new implementation
Julian Brunner <julianbrunner@gmail.com> committed rAFP3d850b1af9cd: small adjustments for new implementation. 
Fri, Jan 10, 10:16 AM
Julian Brunner <julianbrunner@gmail.com>rAFPfbd84ab865a3: improved emptiness check implementation and added more translation ideas
Julian Brunner <julianbrunner@gmail.com> committed rAFPfbd84ab865a3: improved emptiness check implementation and added more translation ideas. 
Fri, Jan 10, 10:16 AM
makariusrISABELLE21a41356d78f: proper name;
makarius committed rISABELLE21a41356d78f: proper name;. 
Thu, Jan 9, 4:01 PM
makariusrISABELLEfcf5ee85743d: more Isabelle fonts, notably for File Browser title in GTK L&F;
makarius committed rISABELLEfcf5ee85743d: more Isabelle fonts, notably for File Browser title in GTK L&F;. 
Thu, Jan 9, 3:45 PM
makariusrISABELLE411c0322c09d: eliminated deprecated scala.collection.JavaConversions;
makarius committed rISABELLE411c0322c09d: eliminated deprecated scala.collection.JavaConversions;. 
Thu, Jan 9, 1:47 PM
makariusrISABELLEec48da635e6c: unused;
makarius committed rISABELLEec48da635e6c: unused;. 
Thu, Jan 9, 1:44 PM
makariusrISABELLE7f2cd237ee4f: tuned -- more direct java.util.Map.of;
makarius committed rISABELLE7f2cd237ee4f: tuned -- more direct java.util.Map.of;. 
Thu, Jan 9, 1:39 PM
nipkowrISABELLEce45299cce44: added lemma
nipkow committed rISABELLEce45299cce44: added lemma. 
Thu, Jan 9, 8:42 AM
traytelrISABELLE15c6f253b9f3: merged
traytel committed rISABELLE15c6f253b9f3: merged. 
Tue, Jan 7, 5:12 PM
traytelrISABELLEc71a44893645: eliminated one redundant proof obligation in lift_bnf for quotients
traytel committed rISABELLEc71a44893645: eliminated one redundant proof obligation in lift_bnf for quotients. 
Tue, Jan 7, 2:58 PM
blanchetterISABELLE475b2260b9c4: removed experimental option to SPASS
blanchette committed rISABELLE475b2260b9c4: removed experimental option to SPASS. 
Tue, Jan 7, 2:40 PM
Andreas Halkjær From <s144442@student.dtu.dk>rAFPb504f070987b: Restrict the GoTo rule
Andreas Halkjær From <s144442@student.dtu.dk> committed rAFPb504f070987b: Restrict the GoTo rule. 
Tue, Jan 7, 2:14 PM
nipkowrISABELLE41f3ca717da5: alternative deletion in Red-Black trees
nipkow committed rISABELLE41f3ca717da5: alternative deletion in Red-Black trees. 
Tue, Jan 7, 12:37 PM
nipkowrISABELLEb3a93a91803b: generalized thm (as suggested by Christian Weinz)
nipkow committed rISABELLEb3a93a91803b: generalized thm (as suggested by Christian Weinz). 
Tue, Jan 7, 7:03 AM
nipkowrISABELLEcd0b0717c4e4: tunded
nipkow committed rISABELLEcd0b0717c4e4: tunded. 
Tue, Jan 7, 6:43 AM
kleingrISABELLEfb788bd799d9: tuned
kleing mentioned this in rAFP8d4d754b2196: adapt to isabelle fb788bd799d9. 
Tue, Jan 7, 2:16 AM
kleingrAFP8d4d754b2196: adapt to isabelle fb788bd799d9
kleing added an edge: rISABELLEfb788bd799d9: tuned. 
Tue, Jan 7, 2:16 AM
kleingrAFP8d4d754b2196: adapt to isabelle fb788bd799d9
kleing committed rAFP8d4d754b2196: adapt to isabelle fb788bd799d9. 
Tue, Jan 7, 2:15 AM
Next