Page MenuHomeIsabelle/Phabricator
Feed All Transactions
AuthorObjectTransactionDate
pruvistorISABELLEa3f7f00b4fd8: Removed unnecessary and problematic trivial lemma from HOL-AlgebraFri, Jan 17, 6:58 PM
makariusrISABELLE5556ae257df9: proper executable file;Thu, Jan 16, 5:04 PM
makariusrISABELLE5e7ba6aa85d7: more documentation: odd option for special situations;Thu, Jan 16, 4:41 PM
makariusrISABELLE21995f5e8126: tuned;Thu, Jan 16, 4:35 PM
makariusrISABELLE57861bd0a3e1: 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;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 WindowsThu, 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;Thu, Jan 16, 3:34 PM
makariusrISABELLE7e8e5e1f8f90: 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;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;Wed, Jan 15, 8:11 PM
makariusrISABELLE8313dca6dee9: misc tuning, following hint by IntelliJ;Wed, Jan 15, 7:54 PM
makariusrISABELLE6316debd3a9f: tuned;Wed, Jan 15, 7:49 PM
makariusrISABELLEb9ea2467c929: tuned -- avoid deprecated constructors;Wed, Jan 15, 7:46 PM
makariusrISABELLE5965e6e3c3ec: proper comparison of Option values, following hint by IntelliJ;Wed, Jan 15, 7:45 PM
makariusrISABELLE942cc80ba18a: unused -- clone of Option.apply;Wed, Jan 15, 4:18 PM
makariusrISABELLE820cf124dced: 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 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"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;Wed, Jan 15, 3:05 PM
makariusrISABELLEe40f287c25c4: unused;Wed, Jan 15, 1:22 PM
makariusrISABELLE26801434d628: 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;Mon, Jan 13, 12:11 PM
makariusrISABELLE7832d912d950: 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;Mon, Jan 13, 11:19 AM
makariusrISABELLE85274743f789: clarified option -f: avoid accidental target_clean for proper release snapshot;Mon, Jan 13, 11:18 AM
makariusrISABELLE1c4ec697bee5: more robust;Sun, Jan 12, 11:29 PM
makariusrISABELLEb05aca9cee75: updated to sqlite-jdbc-3.30.1;Sun, Jan 12, 10:54 PM
makariusrISABELLE897ff7e68a10: updated to postgresql-42.2.9;Sun, Jan 12, 10:21 PM
makariusrISABELLEfd5cd1daf6a9: build in $ISABELLE_HOME;Sun, Jan 12, 9:35 PM
makariusrISABELLE91d5a8255c98: 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…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 versionSun, Jan 12, 3:50 PM
makariusrISABELLEf0581273bd7b: clarified fresh build;Sat, Jan 11, 5:15 PM
makariusrISABELLE462f341407b4: tuned documentation;Sat, Jan 11, 4:22 PM
makariusrISABELLEaecea7c4bda1: tuned;Sat, Jan 11, 3:04 PM
makariusrISABELLEce3409dfb18c: 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…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 ideasFri, Jan 10, 10:16 AM
makariusrISABELLE21a41356d78f: proper name;Thu, Jan 9, 4:01 PM
makariusrISABELLEfcf5ee85743d: more Isabelle fonts, notably for File Browser title in GTK L&F;Thu, Jan 9, 3:45 PM
makariusrISABELLE411c0322c09d: eliminated deprecated scala.collection.JavaConversions;Thu, Jan 9, 1:47 PM
makariusrISABELLEec48da635e6c: unused;Thu, Jan 9, 1:44 PM
makariusrISABELLE7f2cd237ee4f: tuned -- more direct java.util.Map.of;Thu, Jan 9, 1:39 PM
nipkowrISABELLEce45299cce44: added lemmaThu, Jan 9, 8:42 AM
traytelrISABELLE15c6f253b9f3: mergedTue, Jan 7, 5:12 PM
traytelrISABELLEc71a44893645: eliminated one redundant proof obligation in lift_bnf for quotientsTue, Jan 7, 2:58 PM
blanchetterISABELLE475b2260b9c4: removed experimental option to SPASSTue, 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 treesTue, Jan 7, 12:37 PM
nipkowrISABELLEb3a93a91803b: 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: tunedTue, Jan 7, 2:16 AM
kleingrAFP8d4d754b2196: adapt to isabelle fb788bd799d9Tue, Jan 7, 2:16 AM
kleingrAFP8d4d754b2196: adapt to isabelle fb788bd799d9Tue, Jan 7, 2:15 AM