Page MenuHomePhabricator
Feed All Transactions
AuthorObjectTransactionDate
traytelrAFPf9cbe0d87965: adapt to isabelle/a30278c8585f; tuned whitespaceTue, Dec 10, 9:16 AM
traytelrISABELLE4765fec43414: unfold intermediate (internal) pred definitionsTue, Dec 10, 1:06 AM
traytelrISABELLEa30278c8585f: extension of lift_bnf to support quotient typesTue, Dec 10, 1:06 AM
traytelrISABELLE35a92ce0b94e: an extensive example for lift_bnf across quotientsTue, Dec 10, 1:06 AM
traytelrISABELLE0c454a5d125d: NEWS, CONTRIBUTORS, and documentationTue, Dec 10, 1:06 AM
paulson <lp15@cam.ac.uk>rAFP712c4cf1b3c1: fixed a theory sensitive to ext_funcset_to_sing_iffMon, Dec 9, 8:04 PM
paulson <lp15@cam.ac.uk>rISABELLE308baf6b450a: corrected some confusing terminology / notationMon, Dec 9, 5:37 PM
paulson <lp15@cam.ac.uk>rISABELLE09aee7f5b447: Ramsey with multiple colours and arbitrary exponentsMon, Dec 9, 5:13 PM
paulson <lp15@cam.ac.uk>rISABELLEd67924987c34: a few new and tidier proofs (mostly about finite sets)Mon, Dec 9, 4:36 PM
makariusrISABELLEb1f3e86a4745: 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 lemmasSun, 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 develFri, Dec 6, 6:58 PM
makariusrISABELLEa62431901140: suppress record types: not working properly;Fri, Dec 6, 5:05 PM
nipkowrISABELLE38457af660bc: cleaningFri, Dec 6, 5:03 PM
makariusrISABELLEc5914bdd896b: removed junk;Fri, Dec 6, 4:22 PM
makariusrISABELLE297d24fb262c: discontinued somewhat pointless options;Fri, Dec 6, 4:13 PM
makariusrISABELLEbd93c71521a0: tuned signature;Fri, Dec 6, 4:05 PM
makariusrISABELLE877316c54ed3: clarified signature;Fri, Dec 6, 3:53 PM
makariusrISABELLEadf5e53d2b2b: export datatypes;Fri, Dec 6, 3:44 PM
nipkowrISABELLE5b7c85586eb1: tuned
nipkow committed rISABELLE5b7c85586eb1: tuned. 
Fri, Dec 6, 2:36 PM
makariusrISABELLE6e0ff949073e: clarified modules;Fri, Dec 6, 11:43 AM
makariusrISABELLE30db0523f9b0: misc tuning and clarification: proper check of datatype kind;Fri, Dec 6, 11:36 AM
makariusrISABELLEe5664a75f4b5: clarified modules;Fri, Dec 6, 11:12 AM
nipkowrISABELLEec5090faf541: separated Affine theory from ConvexThu, 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 structureThu, Dec 5, 1:09 PM
haftmannrISABELLE9612115e06d1: removed some vain declarationsThu, Dec 5, 1:09 PM
davetbutlerrAFP7c33f283cfef: MPC update ETP and perfect sec renameThu, Dec 5, 12:31 PM
nipkowrISABELLE6c1ed478605e: made Starlike independent of Abstract_LimitsThu, Dec 5, 11:21 AM
haftmannrISABELLEd12c58e12c51: more direct accessors for simpsetThu, Dec 5, 10:24 AM
nipkowrISABELLEda28fd2852ed: moved starlike where it belongsWed, Dec 4, 11:11 PM
haftmannrISABELLEf1838cf9f139: regular merge with no historization, in accordance with regular updateWed, Dec 4, 9:25 PM
makariusrISABELLE5ea3ed3c52b3: support for bulk operations: consume mailbox content in batches;Wed, Dec 4, 8:08 PM
makariusrISABELLEdafa5fce70f1: clarified messages streaming (again, amending 5ea3ed3c52b3): avoid too many…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…Wed, Dec 4, 7:40 PM
Peter LammichrAFP8c3387faaeed: Fixed CAVA-Impl to accomodate for generalized Gabow_GBGWed, Dec 4, 6:34 PM
nipkowrISABELLE095cf95d7725: moved segment lemmas where they belongWed, 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 nodesWed, Dec 4, 4:50 PM
nipkowrISABELLEbe2c2bfa54a0: merged
nipkow committed rISABELLEbe2c2bfa54a0: merged. 
Wed, Dec 4, 3:36 PM