Page MenuHomePhabricator
Feed All Transactions

All Transactions
Use Results
Edit Query

AuthorObjectTransactionDate
traytelrAFPf9cbe0d87965: adapt to isabelle/a30278c8585f; tuned whitespace
traytel committed rAFPf9cbe0d87965: adapt to isabelle/a30278c8585f; tuned whitespace. 
Tue, Dec 10, 9:16 AM
traytelrISABELLE4765fec43414: unfold intermediate (internal) pred definitions
traytel committed rISABELLE4765fec43414: unfold intermediate (internal) pred definitions. 
Tue, Dec 10, 1:06 AM
traytelrISABELLEa30278c8585f: extension of lift_bnf to support quotient types
traytel committed rISABELLEa30278c8585f: extension of lift_bnf to support quotient types. 
Tue, Dec 10, 1:06 AM
traytelrISABELLE35a92ce0b94e: an extensive example for lift_bnf across quotients
traytel committed rISABELLE35a92ce0b94e: an extensive example for lift_bnf across quotients. 
Tue, Dec 10, 1:06 AM
traytelrISABELLE0c454a5d125d: NEWS, CONTRIBUTORS, and documentation
traytel committed rISABELLE0c454a5d125d: NEWS, CONTRIBUTORS, and documentation. 
Tue, Dec 10, 1:06 AM
paulson <lp15@cam.ac.uk>rAFP712c4cf1b3c1: fixed a theory sensitive to ext_funcset_to_sing_iff
paulson <lp15@cam.ac.uk> committed rAFP712c4cf1b3c1: fixed a theory sensitive to ext_funcset_to_sing_iff. 
Mon, Dec 9, 8:04 PM
paulson <lp15@cam.ac.uk>rISABELLE308baf6b450a: corrected some confusing terminology / notation
paulson <lp15@cam.ac.uk> committed rISABELLE308baf6b450a: corrected some confusing terminology / notation. 
Mon, Dec 9, 5:37 PM
paulson <lp15@cam.ac.uk>rISABELLE09aee7f5b447: Ramsey with multiple colours and arbitrary exponents
paulson <lp15@cam.ac.uk> committed rISABELLE09aee7f5b447: Ramsey with multiple colours and arbitrary exponents. 
Mon, Dec 9, 5:13 PM
paulson <lp15@cam.ac.uk>rISABELLEd67924987c34: a few new and tidier proofs (mostly about finite sets)
paulson <lp15@cam.ac.uk> committed rISABELLEd67924987c34: a few new and tidier proofs (mostly about finite sets). 
Mon, Dec 9, 4:36 PM
makariusrISABELLEb1f3e86a4745: clarified signature: store full theory name;
wenzelm committed rISABELLEb1f3e86a4745: clarified signature: store full theory name;. 
Mon, Dec 9, 11:17 AM
nipkowrISABELLEdd74e0558fd1: merged
nipkow committed rISABELLEdd74e0558fd1: merged. 
Sun, Dec 8, 5:42 PM
nipkowrISABELLE4258ee13f5d4: moved lemmas
nipkow committed rISABELLE4258ee13f5d4: moved lemmas. 
Sun, Dec 8, 5:42 PM
makariusW1 Isabelle Development Resources
makarius edited this Panel. 
Sat, Dec 7, 4:55 PM
makariusW1 Isabelle Development Resources
makarius edited this Panel. 
Sat, Dec 7, 4:54 PM
makariusW1 Isabelle Development Resources
makarius edited this Panel. 
Sat, Dec 7, 4:53 PM
makariusW1 Isabelle Development Resources
makarius edited this Panel. 
Sat, Dec 7, 4:02 PM
makariusW1 Isabelle Development Resources
makarius edited this Panel. 
Sat, Dec 7, 4:02 PM
makariusW1 Isabelle Development Resources
makarius edited this Panel. 
Sat, Dec 7, 4:00 PM
makariusProfile Menu Item
makarius edited this Profile Menu Item. 
Sat, Dec 7, 3:58 PM
makariusProfile Menu Item
makarius edited this Profile Menu Item. 
Sat, Dec 7, 3:58 PM
makariusProfile Menu Item
makarius edited this Profile Menu Item. 
Sat, Dec 7, 3:58 PM
makariusProfile Menu Item
makarius edited this Profile Menu Item. 
Sat, Dec 7, 3:58 PM
makariusProfile Menu Item
makarius edited this Profile Menu Item. 
Sat, Dec 7, 3:58 PM
makariusProfile Menu Item
makarius edited this Profile Menu Item. 
Sat, Dec 7, 3:58 PM
makariusProfile Menu Item
makarius edited this Profile Menu Item. 
Sat, Dec 7, 3:58 PM
makariusProfile Menu Item
makarius edited this Profile Menu Item. 
Sat, Dec 7, 3:58 PM
makariusProfile Menu Item
makarius edited this Profile Menu Item. 
Sat, Dec 7, 3:58 PM
makariusProfile Menu Item
makarius edited this Profile Menu Item. 
Sat, Dec 7, 3:58 PM
makariusProfile Menu Item
makarius edited this Profile Menu Item. 
Sat, Dec 7, 3:58 PM
makariusProfile Menu Item
makarius edited this Profile Menu Item. 
Sat, Dec 7, 3:58 PM
makariusProfile Menu Item
makarius edited this Profile Menu Item. 
Sat, Dec 7, 3:58 PM
makariusProfile Menu Item
makarius edited this Profile Menu Item. 
Sat, Dec 7, 3:58 PM
makariusProfile Menu Item
makarius edited this Profile Menu Item. 
Sat, Dec 7, 3:58 PM
makariusProfile Menu Item
makarius edited this Profile Menu Item. 
Sat, Dec 7, 3:58 PM
makariusProfile Menu Item
makarius edited this Profile Menu Item. 
Sat, Dec 7, 3:58 PM
makariusProfile Menu Item
makarius edited this Profile Menu Item. 
Sat, Dec 7, 3:58 PM
makariusProfile Menu Item
makarius edited this Profile Menu Item. 
Sat, Dec 7, 3:58 PM
makariusProfile Menu Item
makarius edited this Profile Menu Item. 
Sat, Dec 7, 3:58 PM
makariusProfile Menu Item
makarius edited this Profile Menu Item. 
Sat, Dec 7, 3:58 PM
makariusProfile Menu Item
makarius edited this Profile Menu Item. 
Sat, Dec 7, 3:58 PM
makariusProfile Menu Item
makarius edited this Profile Menu Item. 
Sat, Dec 7, 3:58 PM
makariusProfile Menu Item
makarius edited this Profile Menu Item. 
Sat, Dec 7, 3:58 PM
makariusProfile Menu Item
makarius edited this Profile Menu Item. 
Sat, Dec 7, 3:58 PM
makariusProfile Menu Item
makarius edited this Profile Menu Item. 
Sat, Dec 7, 3:58 PM
makariusProfile Menu Item
makarius edited this Profile Menu Item. 
Sat, Dec 7, 3:58 PM
makariusProfile Menu Item
makarius edited this Profile Menu Item. 
Sat, Dec 7, 3:58 PM
makariusProfile Menu Item
makarius edited this Profile Menu Item. 
Sat, Dec 7, 3:58 PM
makariusProfile Menu Item
makarius edited this Profile Menu Item. 
Sat, Dec 7, 3:58 PM
makariusProfile Menu Item
makarius edited this Profile Menu Item. 
Sat, Dec 7, 3:58 PM
makariusProfile Menu Item
makarius edited this Profile Menu Item. 
Sat, Dec 7, 3:58 PM
makariusProfile Menu Item
makarius edited this Profile Menu Item. 
Sat, Dec 7, 3:58 PM
makariusProfile Menu Item
makarius edited this Profile Menu Item. 
Sat, Dec 7, 3:58 PM
makariusProfile Menu Item
makarius edited this Profile Menu Item. 
Sat, Dec 7, 3:58 PM
makariusProfile Menu Item
makarius edited this Profile Menu Item. 
Sat, Dec 7, 3:58 PM
makariusOverview
makarius changed the panels on this dashboard. 
Sat, Dec 7, 3:57 PM
makariusW1 Isabelle Development Resources
makarius created this object with edit policy "makarius (Makarius Wenzel)". 
Sat, Dec 7, 3:57 PM
makariusW1 Isabelle Development Resources
makarius created this object. 
Sat, Dec 7, 3:57 PM
makariusW1 Isabelle Development Resources
makarius created this object with visibility "Public (No Login Required)". 
Sat, Dec 7, 3:57 PM
makariusW1 Isabelle Development Resources
makarius edited this Panel. 
Sat, Dec 7, 3:57 PM
makariusW1 Isabelle Development Resources
makarius renamed this panel from to Isabelle Development Resources. 
Sat, Dec 7, 3:57 PM
makariusOverview
makarius created this object. 
Sat, Dec 7, 3:57 PM
makariusOverview
makarius created this object with edit policy "makarius (Makarius Wenzel)". 
Sat, Dec 7, 3:57 PM
makariusOverview
makarius renamed this dashboard from to Overview. 
Sat, Dec 7, 3:57 PM
makariusOverview
makarius changed the layout mode for this dashboard from to layout-mode-full. 
Sat, Dec 7, 3:57 PM
makariusOverview
makarius created this object with visibility "Public (No Login Required)". 
Sat, Dec 7, 3:57 PM
makariusrISABELLEa9ad4a954cb7: merged
wenzelm committed rISABELLEa9ad4a954cb7: merged. 
Fri, Dec 6, 7:56 PM
nipkowrAFP429a712d7c4d: adapted to devel
nipkow committed rAFP429a712d7c4d: adapted to devel. 
Fri, Dec 6, 6:58 PM
makariusrISABELLEa62431901140: suppress record types: not working properly;
wenzelm committed rISABELLEa62431901140: suppress record types: not working properly;. 
Fri, Dec 6, 5:05 PM
nipkowrISABELLE38457af660bc: cleaning
nipkow committed rISABELLE38457af660bc: cleaning. 
Fri, Dec 6, 5:03 PM
makariusrISABELLEc5914bdd896b: removed junk;
wenzelm committed rISABELLEc5914bdd896b: removed junk;. 
Fri, Dec 6, 4:22 PM
makariusrISABELLE297d24fb262c: discontinued somewhat pointless options;
wenzelm committed rISABELLE297d24fb262c: discontinued somewhat pointless options;. 
Fri, Dec 6, 4:13 PM
makariusrISABELLEbd93c71521a0: tuned signature;
wenzelm committed rISABELLEbd93c71521a0: tuned signature;. 
Fri, Dec 6, 4:05 PM
makariusrISABELLE877316c54ed3: clarified signature;
wenzelm committed rISABELLE877316c54ed3: clarified signature;. 
Fri, Dec 6, 3:53 PM
makariusrISABELLEadf5e53d2b2b: export datatypes;
wenzelm committed rISABELLEadf5e53d2b2b: export datatypes;. 
Fri, Dec 6, 3:44 PM
nipkowrISABELLE5b7c85586eb1: tuned
nipkow committed rISABELLE5b7c85586eb1: tuned. 
Fri, Dec 6, 2:36 PM
makariusrISABELLE6e0ff949073e: clarified modules;
wenzelm committed rISABELLE6e0ff949073e: clarified modules;. 
Fri, Dec 6, 11:43 AM
makariusrISABELLE30db0523f9b0: misc tuning and clarification: proper check of datatype kind;
wenzelm committed rISABELLE30db0523f9b0: misc tuning and clarification: proper check of datatype kind;. 
Fri, Dec 6, 11:36 AM
makariusrISABELLEe5664a75f4b5: clarified modules;
wenzelm committed rISABELLEe5664a75f4b5: clarified modules;. 
Fri, Dec 6, 11:12 AM
nipkowrISABELLEec5090faf541: separated Affine theory from Convex
nipkow committed rISABELLEec5090faf541: separated Affine theory from Convex. 
Thu, Dec 5, 9:03 PM
nipkowrISABELLEd9e747cafb04: merged
nipkow committed rISABELLEd9e747cafb04: merged. 
Thu, Dec 5, 7:53 PM
nipkowrISABELLE67880e7ee08d: tuned
nipkow committed rISABELLE67880e7ee08d: tuned. 
Thu, Dec 5, 6:26 PM
nipkowrISABELLEda73ee760643: merged
nipkow committed rISABELLEda73ee760643: merged. 
Thu, Dec 5, 1:51 PM
haftmannrISABELLEacc6cb1a1a67: proper table data structure
haftmann committed rISABELLEacc6cb1a1a67: proper table data structure. 
Thu, Dec 5, 1:09 PM
haftmannrISABELLE9612115e06d1: removed some vain declarations
haftmann committed rISABELLE9612115e06d1: removed some vain declarations. 
Thu, Dec 5, 1:09 PM
davetbutlerrAFP7c33f283cfef: MPC update ETP and perfect sec rename
davetbutler committed rAFP7c33f283cfef: MPC update ETP and perfect sec rename. 
Thu, Dec 5, 12:31 PM
nipkowrISABELLE6c1ed478605e: made Starlike independent of Abstract_Limits
nipkow committed rISABELLE6c1ed478605e: made Starlike independent of Abstract_Limits. 
Thu, Dec 5, 11:21 AM
haftmannrISABELLEd12c58e12c51: more direct accessors for simpset
haftmann committed rISABELLEd12c58e12c51: more direct accessors for simpset. 
Thu, Dec 5, 10:24 AM
nipkowrISABELLEda28fd2852ed: moved starlike where it belongs
nipkow committed rISABELLEda28fd2852ed: moved starlike where it belongs. 
Wed, Dec 4, 11:11 PM
haftmannrISABELLEf1838cf9f139: regular merge with no historization, in accordance with regular update
haftmann committed rISABELLEf1838cf9f139: regular merge with no historization, in accordance with regular update. 
Wed, Dec 4, 9:25 PM
makariusrISABELLE5ea3ed3c52b3: support for bulk operations: consume mailbox content in batches;
makarius mentioned this in rISABELLEdafa5fce70f1: clarified messages streaming (again, amending 5ea3ed3c52b3): avoid too many…. 
Wed, Dec 4, 8:08 PM
makariusrISABELLEdafa5fce70f1: clarified messages streaming (again, amending 5ea3ed3c52b3): avoid too many…
makarius added an edge: rISABELLE5ea3ed3c52b3: support for bulk operations: consume mailbox content in batches;. 
Wed, Dec 4, 8:08 PM
makariusrISABELLE7b9ff966974f: merged
wenzelm committed rISABELLE7b9ff966974f: merged. 
Wed, Dec 4, 7:55 PM
makariusrISABELLEdafa5fce70f1: clarified messages streaming (again, amending 5ea3ed3c52b3): avoid too many…
wenzelm committed rISABELLEdafa5fce70f1: clarified messages streaming (again, amending 5ea3ed3c52b3): avoid too many…. 
Wed, Dec 4, 7:40 PM
Peter LammichrAFP8c3387faaeed: Fixed CAVA-Impl to accomodate for generalized Gabow_GBG
Peter Lammich committed rAFP8c3387faaeed: Fixed CAVA-Impl to accomodate for generalized Gabow_GBG. 
Wed, Dec 4, 6:34 PM
nipkowrISABELLE095cf95d7725: moved segment lemmas where they belong
nipkow committed rISABELLE095cf95d7725: moved segment lemmas where they belong. 
Wed, Dec 4, 6:28 PM
David Matthews <dm@prolingua.co.uk>rPOLYML850ca1289823: Rebuild Makefile.in after merge.
David Matthews <dm@prolingua.co.uk> committed rPOLYML850ca1289823: Rebuild Makefile.in after merge. (authored by David Matthews <dm@prolingua.co.uk>). 
Wed, Dec 4, 5:32 PM
David Matthews <dm@prolingua.co.uk>rPOLYMLbd0917074271: Merge branch 'master' into GCPercent
David Matthews <dm@prolingua.co.uk> committed rPOLYMLbd0917074271: Merge branch 'master' into GCPercent (authored by David Matthews <dm@prolingua.co.uk>). 
Wed, Dec 4, 5:27 PM
Peter LammichrAFP3049a0ad195d: merged
Peter Lammich committed rAFP3049a0ad195d: merged. 
Wed, Dec 4, 4:53 PM
Peter LammichrAFP7d5c0f2b46b5: Generalized Gabow-SCC to arbitrary refinements for nodes
Peter Lammich committed rAFP7d5c0f2b46b5: Generalized Gabow-SCC to arbitrary refinements for nodes. 
Wed, Dec 4, 4:50 PM
nipkowrISABELLEbe2c2bfa54a0: merged
nipkow committed rISABELLEbe2c2bfa54a0: merged. 
Wed, Dec 4, 3:36 PM
Next