Page MenuHomeIsabelle/Phabricator
Feed All Transactions

All Transactions
Use Results
Edit Query

AuthorObjectTransactionDate
makariusT10: Font rendering quality in OpenJDK 11 vs. 17
makarius created this task. 
Jan 16 2020, 12:08 PM
makariusT10: Font rendering quality in OpenJDK 11 vs. 17
makarius added a subscriber: makarius. 
Jan 16 2020, 12:08 PM
makariusrISABELLE0243bf758e79: updated to jdk-11.0.6+10;
makarius committed rISABELLE0243bf758e79: updated to jdk-11.0.6+10;. 
Jan 15 2020, 8:11 PM
makariusrISABELLE8313dca6dee9: misc tuning, following hint by IntelliJ;
makarius committed rISABELLE8313dca6dee9: misc tuning, following hint by IntelliJ;. 
Jan 15 2020, 7:54 PM
makariusrISABELLE6316debd3a9f: tuned;
makarius committed rISABELLE6316debd3a9f: tuned;. 
Jan 15 2020, 7:49 PM
makariusrISABELLEb9ea2467c929: tuned -- avoid deprecated constructors;
makarius committed rISABELLEb9ea2467c929: tuned -- avoid deprecated constructors;. 
Jan 15 2020, 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;. 
Jan 15 2020, 7:45 PM
makariusrISABELLE942cc80ba18a: unused -- clone of Option.apply;
makarius committed rISABELLE942cc80ba18a: unused -- clone of Option.apply;. 
Jan 15 2020, 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". 
Jan 15 2020, 3:34 PM
makariusBlog Post: Command-line tool "isabelle scala_project"
makarius created this post. 
Jan 15 2020, 3:34 PM
makariusBlog Post: Command-line tool "isabelle scala_project"
makarius published this post. 
Jan 15 2020, 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;. 
Jan 15 2020, 3:34 PM
makariusBlog Post: Command-line tool "isabelle scala_project"
makarius renamed this blog post from to Command-line tool "isabelle scala_project". 
Jan 15 2020, 3:34 PM
makariusBlog Post: Command-line tool "isabelle scala_project"
makarius updated the post content. 
Jan 15 2020, 3:34 PM
makariusBlog Post: Command-line tool "isabelle scala_project"
makarius set this post's subtitle to "". 
Jan 15 2020, 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;. 
Jan 15 2020, 3:05 PM
makariusrISABELLEe40f287c25c4: unused;
makarius committed rISABELLEe40f287c25c4: unused;. 
Jan 15 2020, 1:22 PM
makariusrISABELLE26801434d628: more antiquotations;
makarius committed rISABELLE26801434d628: more antiquotations;. 
Jan 14 2020, 4:03 PM
nipkowrAFP41d830e4aec1: fixed topic
nipkow committed rAFP41d830e4aec1: fixed topic. 
Jan 14 2020, 3:03 PM
nipkowrAFP60ecca56a340: fixed topic
nipkow committed rAFP60ecca56a340: fixed topic. 
Jan 14 2020, 2:58 PM
nipkowrAFP926dea105d89: fixed abstract
nipkow committed rAFP926dea105d89: fixed abstract. 
Jan 14 2020, 2:48 PM
nipkowrAFPc07291b05bbf: tuned
nipkow committed rAFPc07291b05bbf: tuned. 
Jan 14 2020, 2:43 PM
paulson <lp15@cam.ac.uk>rAFP044f47ec035b: website for Closest_Pair_Points
paulson <lp15@cam.ac.uk> committed rAFP044f47ec035b: website for Closest_Pair_Points. 
Jan 14 2020, 12:18 PM
paulson <lp15@cam.ac.uk>rAFP676611bece5d: new entry Closest_Pair_Points
paulson <lp15@cam.ac.uk> committed rAFP676611bece5d: new entry Closest_Pair_Points. 
Jan 14 2020, 12:11 PM
nipkowrAFPdb2fc75a68cc: more topics
nipkow committed rAFPdb2fc75a68cc: more topics. 
Jan 14 2020, 9:45 AM
nipkowrAFPfdd8e919ce79: new topics
nipkow committed rAFPfdd8e919ce79: new topics. 
Jan 14 2020, 9:13 AM
nipkowrAFPea34a420965a: new topic Algorithms/Mathematical
nipkow committed rAFPea34a420965a: new topic Algorithms/Mathematical. 
Jan 14 2020, 9:09 AM
nipkowrAFP11039c833fb8: new entry for topic Optkmization
nipkow committed rAFP11039c833fb8: new entry for topic Optkmization. 
Jan 14 2020, 8:57 AM
nipkowrAFP787c265bb4ce: new topic Algorithms/Optimization
nipkow committed rAFP787c265bb4ce: new topic Algorithms/Optimization. 
Jan 14 2020, 8:55 AM
nipkowrAFPb3fde9231d53: more Algorithms/Graph
nipkow committed rAFPb3fde9231d53: more Algorithms/Graph. 
Jan 14 2020, 8:36 AM
nipkowrAFP831e4b37eaf2: clasified Algorithms/Graph
nipkow committed rAFP831e4b37eaf2: clasified Algorithms/Graph. 
Jan 14 2020, 8:23 AM
nipkowrAFP05930f508791: classified entries as Algorithms/Graph
nipkow committed rAFP05930f508791: classified entries as Algorithms/Graph. 
Jan 14 2020, 8:06 AM
nipkowrAFPe35776ec11ec: added topic Algoritgms/Graph
nipkow committed rAFPe35776ec11ec: added topic Algoritgms/Graph. 
Jan 14 2020, 7:55 AM
makariusT9: Evaluate https://discourse.org as replacement for mailman, stackoverflow
makarius added a comment. 
Jan 13 2020, 2:24 PM
makariusrISABELLE5ccf60c1f47c: tuned messages;
makarius committed rISABELLE5ccf60c1f47c: tuned messages;. 
Jan 13 2020, 12:11 PM
makariusrISABELLE7832d912d950: tuned;
makarius committed rISABELLE7832d912d950: tuned;. 
Jan 13 2020, 12:09 PM
makariusPeter Lammich
makarius assigned this identity to peter_lammich. 
Jan 13 2020, 11:52 AM
makariusisabelle-repository
makarius added a member: peter_lammich. 
Jan 13 2020, 11:50 AM
makariusrISABELLE201486ced92d: clarified output channel;
makarius committed rISABELLE201486ced92d: clarified output channel;. 
Jan 13 2020, 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;. 
Jan 13 2020, 11:18 AM
makariusrISABELLE1c4ec697bee5: more robust;
makarius committed rISABELLE1c4ec697bee5: more robust;. 
Jan 12 2020, 11:29 PM
makariusrISABELLEb05aca9cee75: updated to sqlite-jdbc-3.30.1;
makarius committed rISABELLEb05aca9cee75: updated to sqlite-jdbc-3.30.1;. 
Jan 12 2020, 10:54 PM
makariusrISABELLE897ff7e68a10: updated to postgresql-42.2.9;
makarius committed rISABELLE897ff7e68a10: updated to postgresql-42.2.9;. 
Jan 12 2020, 10:21 PM
makariusrISABELLEfd5cd1daf6a9: build in $ISABELLE_HOME;
makarius committed rISABELLEfd5cd1daf6a9: build in $ISABELLE_HOME;. 
Jan 12 2020, 9:35 PM
makariusrISABELLE91d5a8255c98: build in $ISABELLE_HOME;
makarius committed rISABELLE91d5a8255c98: build in $ISABELLE_HOME;. 
Jan 12 2020, 5:53 PM
makariusT9: Evaluate https://discourse.org as replacement for mailman, stackoverflow
makarius updated the task description. 
Jan 12 2020, 4:19 PM
makariusT9: Evaluate https://discourse.org as replacement for mailman, stackoverflow
makarius updated the task description. 
Jan 12 2020, 4:18 PM
makariusT9: Evaluate https://discourse.org as replacement for mailman, stackoverflow
makarius updated the task description. 
Jan 12 2020, 4:18 PM
makariusT9: Evaluate https://discourse.org as replacement for mailman, stackoverflow
makarius created this task. 
Jan 12 2020, 4:14 PM
makariusT9: Evaluate https://discourse.org as replacement for mailman, stackoverflow
makarius created this object with edit policy "Task Author". 
Jan 12 2020, 4:14 PM
makariusT9: Evaluate https://discourse.org as replacement for mailman, stackoverflow
makarius added a subscriber: makarius. 
Jan 12 2020, 4:14 PM
makariusT9: Evaluate https://discourse.org as replacement for mailman, stackoverflow
makarius claimed this task. 
Jan 12 2020, 4:14 PM
makariusT9: Evaluate https://discourse.org as replacement for mailman, stackoverflow
makarius triaged this task as Low priority. 
Jan 12 2020, 4:14 PM
makariusT9: Evaluate https://discourse.org as replacement for mailman, stackoverflow
makarius updated the task description. 
Jan 12 2020, 4:14 PM
makariusT9: Evaluate https://discourse.org as replacement for mailman, stackoverflow
makarius created this task. 
Jan 12 2020, 4:14 PM
makariusT9: Evaluate https://discourse.org as replacement for mailman, stackoverflow
makarius created this object with visibility "Public (No Login Required)". 
Jan 12 2020, 4:14 PM
makariusT3: Adapt Isabelle/VSCode to Webview API
makarius added a comment. 
Jan 12 2020, 4:10 PM
makariusT8: Clarify underlying Mercurial version
makarius added a project: phabricator-setup. 
Jan 12 2020, 4:06 PM
makariusT8: Clarify underlying Mercurial version
makarius claimed this task. 
Jan 12 2020, 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. 
Jan 12 2020, 3:50 PM
makariusT8: Clarify underlying Mercurial version
makarius created this task. 
Jan 12 2020, 3:50 PM
makariusT8: Clarify underlying Mercurial version
makarius triaged this task as Low priority. 
Jan 12 2020, 3:50 PM
makariusT8: Clarify underlying Mercurial version
makarius created this task. 
Jan 12 2020, 3:50 PM
makariusT8: Clarify underlying Mercurial version
makarius created this object with edit policy "Task Author". 
Jan 12 2020, 3:50 PM
makariusT8: Clarify underlying Mercurial version
makarius updated the task description. 
Jan 12 2020, 3:50 PM
makariusT8: Clarify underlying Mercurial version
makarius created this object with visibility "Public (No Login Required)". 
Jan 12 2020, 3:50 PM
makariusT8: Clarify underlying Mercurial version
makarius added a subscriber: makarius. 
Jan 12 2020, 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…. 
Jan 12 2020, 3:50 PM
makariusrISABELLEf0581273bd7b: clarified fresh build;
makarius committed rISABELLEf0581273bd7b: clarified fresh build;. 
Jan 11 2020, 5:15 PM
makariusrISABELLE462f341407b4: tuned documentation;
makarius committed rISABELLE462f341407b4: tuned documentation;. 
Jan 11 2020, 4:22 PM
makariusrISABELLEaecea7c4bda1: tuned;
makarius committed rISABELLEaecea7c4bda1: tuned;. 
Jan 11 2020, 3:04 PM
makariusrISABELLEce3409dfb18c: clarified script name;
makarius committed rISABELLEce3409dfb18c: clarified script name;. 
Jan 10 2020, 4:37 PM
makariusrISABELLE597059a44d6f: prefer mercurial-2.8.2 for more robustness (i.e. the version used by the…
makarius added a comment. 
Jan 10 2020, 4:07 PM
makariusrISABELLE597059a44d6f: prefer mercurial-2.8.2 for more robustness (i.e. the version used by the…
makarius added a comment. 
Jan 10 2020, 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…. 
Jan 10 2020, 3:42 PM
paulson <lp15@cam.ac.uk>rAFP2a5ecb1ed9e9: webpage for Skip_Lists; updated all URLs for Max Haslbeck
paulson <lp15@cam.ac.uk> committed rAFP2a5ecb1ed9e9: webpage for Skip_Lists; updated all URLs for Max Haslbeck. 
Jan 10 2020, 3:34 PM
paulson <lp15@cam.ac.uk>rAFP08ad581e2b46: new entry Skip_Lists
paulson <lp15@cam.ac.uk> committed rAFP08ad581e2b46: new entry Skip_Lists. 
Jan 10 2020, 3:27 PM
paulson <lp15@cam.ac.uk>rAFP7df0afa2f2f0: website for Gauss_Sums
paulson <lp15@cam.ac.uk> committed rAFP7df0afa2f2f0: website for Gauss_Sums. 
Jan 10 2020, 12:38 PM
paulson <lp15@cam.ac.uk>rAFP55e0a96103e0: new entry Gauss_Sums
paulson <lp15@cam.ac.uk> committed rAFP55e0a96103e0: new entry Gauss_Sums. 
Jan 10 2020, 12:31 PM
Julian Brunner <julianbrunner@gmail.com>rAFP3d850b1af9cd: small adjustments for new implementation
Julian Brunner <julianbrunner@gmail.com> committed rAFP3d850b1af9cd: small adjustments for new implementation. 
Jan 10 2020, 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. 
Jan 10 2020, 10:16 AM
nipkowrAFP10c414ab0a38: more Bicategory
nipkow committed rAFP10c414ab0a38: more Bicategory. 
Jan 9 2020, 6:04 PM
nipkowrAFPb618fced28e2: New article Bicategory
nipkow committed rAFPb618fced28e2: New article Bicategory. 
Jan 9 2020, 6:02 PM
Max W. Haslbeck <max.haslbeck@gmx.de>rAFPe4ce360cb8cb: fix sitegen
Max W. Haslbeck <max.haslbeck@gmx.de> committed rAFPe4ce360cb8cb: fix sitegen. 
Jan 9 2020, 5:54 PM
makariusrISABELLE21a41356d78f: proper name;
makarius committed rISABELLE21a41356d78f: proper name;. 
Jan 9 2020, 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;. 
Jan 9 2020, 3:45 PM
makariusrISABELLE411c0322c09d: eliminated deprecated scala.collection.JavaConversions;
makarius committed rISABELLE411c0322c09d: eliminated deprecated scala.collection.JavaConversions;. 
Jan 9 2020, 1:47 PM
makariusrISABELLEec48da635e6c: unused;
makarius committed rISABELLEec48da635e6c: unused;. 
Jan 9 2020, 1:44 PM
makariusrISABELLE7f2cd237ee4f: tuned -- more direct java.util.Map.of;
makarius committed rISABELLE7f2cd237ee4f: tuned -- more direct java.util.Map.of;. 
Jan 9 2020, 1:39 PM
nipkowrISABELLEce45299cce44: added lemma
nipkow committed rISABELLEce45299cce44: added lemma. 
Jan 9 2020, 8:42 AM
traytelrISABELLE15c6f253b9f3: merged
traytel committed rISABELLE15c6f253b9f3: merged. 
Jan 7 2020, 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. 
Jan 7 2020, 2:58 PM
blanchetterISABELLE475b2260b9c4: removed experimental option to SPASS
blanchette committed rISABELLE475b2260b9c4: removed experimental option to SPASS. 
Jan 7 2020, 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. 
Jan 7 2020, 2:14 PM
nipkowrISABELLE41f3ca717da5: alternative deletion in Red-Black trees
nipkow committed rISABELLE41f3ca717da5: alternative deletion in Red-Black trees. 
Jan 7 2020, 12:37 PM
nipkowrISABELLEb3a93a91803b: generalized thm (as suggested by Christian Weinz)
nipkow committed rISABELLEb3a93a91803b: generalized thm (as suggested by Christian Weinz). 
Jan 7 2020, 7:03 AM
nipkowrISABELLEcd0b0717c4e4: tunded
nipkow committed rISABELLEcd0b0717c4e4: tunded. 
Jan 7 2020, 6:43 AM
kleingrISABELLEfb788bd799d9: tuned
kleing mentioned this in rAFP8d4d754b2196: adapt to isabelle fb788bd799d9. 
Jan 7 2020, 2:16 AM
kleingrAFP8d4d754b2196: adapt to isabelle fb788bd799d9
kleing added an edge: rISABELLEfb788bd799d9: tuned. 
Jan 7 2020, 2:16 AM
kleingrAFP8d4d754b2196: adapt to isabelle fb788bd799d9
kleing committed rAFP8d4d754b2196: adapt to isabelle fb788bd799d9. 
Jan 7 2020, 2:15 AM
First
Prev
Next