- Queries
- All Transactions
- Search
- Advanced Search
Feed All Transactions
All Transactions
All Transactions
Author | Object | Transaction | Date |
---|---|---|---|
kleing | rAFP7f9a5c0cfaa1: merge from afp-2019 | kleing committed rAFP7f9a5c0cfaa1: merge from afp-2019. | Jan 7 2020, 1:33 AM |
kleing | rAFPc2a5fad2fd66: new entry Hybrid_Logic | kleing committed rAFPc2a5fad2fd66: new entry Hybrid_Logic. | Jan 6 2020, 1:32 AM |
pruvisto | rAFP3c6cf3b9146b: More material for Zeta_Function: Hadjicostas's formula | Jan 2 2020, 7:08 PM | |
nipkow | rISABELLEfb788bd799d9: tuned | nipkow committed rISABELLEfb788bd799d9: tuned. | Dec 28 2019, 11:44 PM |
nipkow | rAFPdcbd8cc33205: New entry Zeta_3_Irrational | nipkow committed rAFPdcbd8cc33205: New entry Zeta_3_Irrational. | Dec 28 2019, 1:00 PM |
nipkow | rISABELLE857453c0db3d: tuned | nipkow committed rISABELLE857453c0db3d: tuned. | Dec 28 2019, 12:15 AM |
makarius | rISABELLE3c4c171344f4: more examples; | makarius committed rISABELLE3c4c171344f4: more examples;. | Dec 27 2019, 4:02 PM |
Frédéric Tuong | rAFPc9b532b32acc: synchronize with isabelle_c/a8ec2f73aa2426b34f6c7548f720abd31413ca79 , update… | Frédéric Tuong committed rAFPc9b532b32acc: synchronize with isabelle_c/a8ec2f73aa2426b34f6c7548f720abd31413ca79 , update…. | Dec 27 2019, 2:24 PM |
nipkow | rISABELLE7a0a6c56015e: tuned | nipkow committed rISABELLE7a0a6c56015e: tuned. | Dec 27 2019, 10:54 AM |
makarius | rAFPd4df5c37f780: tuned timeout; | makarius committed rAFPd4df5c37f780: tuned timeout;. | Dec 26 2019, 9:56 PM |
makarius | rAFP1531e2d56482: tuned timeout; | makarius committed rAFP1531e2d56482: tuned timeout;. | Dec 26 2019, 8:52 PM |
nipkow | rISABELLEa956b769903e: tuned | nipkow committed rISABELLEa956b769903e: tuned. | Dec 24 2019, 9:50 PM |
makarius | rISABELLEee9998bb417b: tuned; | makarius committed rISABELLEee9998bb417b: tuned;. | Dec 23 2019, 10:35 PM |
makarius | rISABELLE7a53175fb0f4: NEWS; | makarius committed rISABELLE7a53175fb0f4: NEWS;. | Dec 23 2019, 10:30 PM |
makarius | rISABELLEd72d4a9316c9: updated platform situation: 32bit variants are marginal or absent; | Dec 23 2019, 10:24 PM | |
makarius | rISABELLEdfc52eb97ff4: repackage as csdp-6.1-1, with proper platform names; | Dec 23 2019, 10:08 PM | |
makarius | rISABELLE6d9dd5309b85: proper File.platform_path for Windows; | Dec 23 2019, 7:27 PM | |
makarius | rISABELLE05400628c56b: updated csdp-6.1: Linux and Windows executables are as before, but macOS has… | Dec 23 2019, 7:07 PM | |
makarius | rISABELLE373dcdd363dc: updated linux_app-20191223: x86_64-linux; | Dec 23 2019, 3:24 PM | |
makarius | W1 Isabelle Development | makarius renamed this panel from Isabelle Development Resources to Isabelle Development. | Dec 22 2019, 6:50 PM |
makarius | W1 Isabelle Development | makarius edited this Panel. | Dec 22 2019, 6:49 PM |
makarius | W1 Isabelle Development | makarius edited this Panel. | Dec 22 2019, 6:47 PM |
makarius | W1 Isabelle Development | makarius edited this Panel. | Dec 22 2019, 6:47 PM |
makarius | Spaces | makarius changed the Default View Policy policy from All Users to Public (No Login Required). | Dec 22 2019, 6:35 PM |
makarius | Slowvote | makarius changed the Default View Policy policy from All Users to Public (No Login Required). | Dec 22 2019, 6:34 PM |
makarius | Paste | makarius changed the Default View Policy policy from All Users to Public (No Login Required). | Dec 22 2019, 6:33 PM |
makarius | Paste | makarius changed the Default Edit Policy policy from All Users to Administrators. | Dec 22 2019, 6:33 PM |
makarius | Owners | makarius changed the Default Edit Policy policy from All Users to Administrators. | Dec 22 2019, 6:33 PM |
makarius | Owners | makarius changed the Default View Policy policy from All Users to Public (No Login Required). | Dec 22 2019, 6:33 PM |
makarius | Macro | makarius changed the Can Manage Macros policy from All Users to Administrators. | Dec 22 2019, 6:32 PM |
makarius | Legalpad | makarius changed the Default Edit Policy policy from All Users to Administrators. | Dec 22 2019, 6:32 PM |
makarius | Legalpad | makarius changed the Default View Policy policy from All Users to Public (No Login Required). | Dec 22 2019, 6:32 PM |
makarius | Legalpad | makarius changed the Can Create Documents policy from All Users to Administrators. | Dec 22 2019, 6:32 PM |
makarius | Harbormaster | makarius changed the Default Build Plan View Policy policy from All Users to Public (No Login Required). | Dec 22 2019, 6:31 PM |
makarius | Files | makarius changed the Default View Policy policy from All Users to Public (No Login Required). | Dec 22 2019, 6:31 PM |
makarius | Diviner | makarius changed the Default View Policy policy from All Users to Public (No Login Required). | Dec 22 2019, 6:28 PM |
makarius | Pholio | makarius changed the Default View Policy policy from All Users to Public (No Login Required). | Dec 22 2019, 6:27 PM |
makarius | Maniphest | makarius changed the Default Edit Policy policy from All Users to Task Author. | Dec 22 2019, 6:26 PM |
makarius | Maniphest | makarius changed the Default View Policy policy from All Users to Public (No Login Required). | Dec 22 2019, 6:26 PM |
makarius | Maniphest | makarius changed the Can Bulk Edit Tasks policy from All Users to Administrators. | Dec 22 2019, 6:26 PM |
makarius | Differential | makarius changed the Default View Policy policy from All Users to Public (No Login Required). | Dec 22 2019, 6:25 PM |
makarius | Projects | makarius changed the Default Edit Policy policy from All Users to Administrators. | Dec 22 2019, 6:24 PM |
makarius | Projects | makarius changed the Default View Policy policy from All Users to Public (No Login Required). | Dec 22 2019, 6:24 PM |
makarius | Projects | makarius changed the Can Create Projects policy from All Users to Administrators. | Dec 22 2019, 6:24 PM |
makarius | Projects | makarius changed the Default Join Policy policy from All Users to No One. | Dec 22 2019, 6:24 PM |
makarius | Phame | makarius changed the Can Create Blogs policy from All Users to Administrators. | Dec 22 2019, 6:23 PM |
makarius | Diffusion | makarius changed the Default View Policy policy from All Users to Public (No Login Required). | Dec 22 2019, 6:22 PM |
makarius | Diffusion | makarius changed the Default Push Policy policy from All Users to Administrators. | Dec 22 2019, 6:22 PM |
makarius | W1 Isabelle Development | makarius edited this Panel. | Dec 22 2019, 6:18 PM |
makarius | W1 Isabelle Development | makarius edited this Panel. | Dec 22 2019, 6:18 PM |
makarius | isabelle-release | makarius edited Description. | Dec 22 2019, 6:12 PM |
makarius | Blog Post: Plan for Isabelle2020 release | makarius updated the post content. | Dec 22 2019, 6:10 PM |
makarius | Blog Post: Plan for Isabelle2020 release | makarius updated the post content. | Dec 22 2019, 6:10 PM |
makarius | Blog Post: Plan for Isabelle2020 release | makarius renamed this blog post from to Plan for Isabelle2020 release. | Dec 22 2019, 6:08 PM |
makarius | Blog Post: Plan for Isabelle2020 release | makarius updated the post content. | Dec 22 2019, 6:08 PM |
makarius | Blog Post: Plan for Isabelle2020 release | makarius created this post. | Dec 22 2019, 6:08 PM |
makarius | Blog Post: Plan for Isabelle2020 release | makarius published this post. | Dec 22 2019, 6:08 PM |
makarius | Blog Post: Plan for Isabelle2020 release | makarius set this post's subtitle to "". | Dec 22 2019, 6:08 PM |
makarius | W1 Isabelle Development | makarius edited this Panel. | Dec 22 2019, 6:07 PM |
makarius | W1 Isabelle Development | makarius edited this Panel. | Dec 22 2019, 6:06 PM |
makarius | Isabelle Release | makarius created this object with visibility "Public (No Login Required)". | Dec 22 2019, 6:05 PM |
makarius | Isabelle Release | makarius updated the description. | Dec 22 2019, 6:05 PM |
makarius | Isabelle Release | makarius set this blog's subtitle to "". | Dec 22 2019, 6:05 PM |
makarius | Isabelle Release | makarius added a project: isabelle-repository. | Dec 22 2019, 6:05 PM |
makarius | Isabelle Release | makarius created this blog. | Dec 22 2019, 6:05 PM |
makarius | Isabelle Release | makarius set this blog's full domain to . | Dec 22 2019, 6:05 PM |
makarius | Isabelle Release | makarius created this object with edit policy "Administrators". | Dec 22 2019, 6:05 PM |
makarius | Isabelle Release | makarius set this blog's parent site to . | Dec 22 2019, 6:05 PM |
makarius | Isabelle Release | makarius renamed this blog from to Isabelle Release. | Dec 22 2019, 6:05 PM |
makarius | Isabelle Release | makarius set this blog's parent domain to . | Dec 22 2019, 6:05 PM |
makarius | rPOLYML Poly/ML | makarius updated the description for this repository. | Dec 22 2019, 6:03 PM |
makarius | Isabelle NEWS | makarius added a project: isabelle-repository. | Dec 22 2019, 6:01 PM |
makarius | rISABELLEe20c47795846: tuned; | makarius committed rISABELLEe20c47795846: tuned;. | Dec 22 2019, 4:19 PM |
makarius | rISABELLEb9a9afa70d1a: improved Markdown-like display in Phabricator; | Dec 22 2019, 4:18 PM | |
makarius | rISABELLE2afdd24ff707: improved Markdown-like display in Phabricator; | Dec 22 2019, 4:12 PM | |
makarius | rISABELLE8b69289254ba: somewhat irrelevant -- defaults are OK; | Dec 22 2019, 3:53 PM | |
makarius | Profile Menu Item | makarius edited this Profile Menu Item. | Dec 22 2019, 3:50 PM |
makarius | Profile Menu Item | makarius edited this Profile Menu Item. | Dec 22 2019, 3:50 PM |
makarius | Profile Menu Item | makarius edited this Profile Menu Item. | Dec 22 2019, 3:50 PM |
makarius | Profile Menu Item | makarius edited this Profile Menu Item. | Dec 22 2019, 3:50 PM |
makarius | Profile Menu Item | makarius edited this Profile Menu Item. | Dec 22 2019, 3:50 PM |
makarius | Profile Menu Item | makarius edited this Profile Menu Item. | Dec 22 2019, 3:50 PM |
makarius | Profile Menu Item | makarius edited this Profile Menu Item. | Dec 22 2019, 3:50 PM |
makarius | Profile Menu Item | makarius edited this Profile Menu Item. | Dec 22 2019, 3:50 PM |
makarius | Profile Menu Item | makarius edited this Profile Menu Item. | Dec 22 2019, 3:50 PM |
makarius | Profile Menu Item | makarius edited this Profile Menu Item. | Dec 22 2019, 3:50 PM |
makarius | Profile Menu Item | makarius edited this Profile Menu Item. | Dec 22 2019, 3:50 PM |
makarius | Profile Menu Item | makarius edited this Profile Menu Item. | Dec 22 2019, 3:50 PM |
makarius | Profile Menu Item | makarius edited this Profile Menu Item. | Dec 22 2019, 3:50 PM |
makarius | Profile Menu Item | makarius edited this Profile Menu Item. | Dec 22 2019, 3:50 PM |
makarius | Profile Menu Item | makarius edited this Profile Menu Item. | Dec 22 2019, 3:50 PM |
makarius | Profile Menu Item | makarius edited this Profile Menu Item. | Dec 22 2019, 3:50 PM |
makarius | Profile Menu Item | makarius edited this Profile Menu Item. | Dec 22 2019, 3:50 PM |
makarius | Profile Menu Item | makarius edited this Profile Menu Item. | Dec 22 2019, 3:50 PM |
makarius | Profile Menu Item | makarius edited this Profile Menu Item. | Dec 22 2019, 3:50 PM |
makarius | Profile Menu Item | makarius edited this Profile Menu Item. | Dec 22 2019, 3:50 PM |
makarius | Profile Menu Item | makarius edited this Profile Menu Item. | Dec 22 2019, 3:50 PM |
makarius | Profile Menu Item | makarius edited this Profile Menu Item. | Dec 22 2019, 3:50 PM |
makarius | Profile Menu Item | makarius created this object. | Dec 22 2019, 3:50 PM |
makarius | rISABELLEc898cd5b8519: obsolete; | makarius committed rISABELLEc898cd5b8519: obsolete;. | Dec 22 2019, 3:48 PM |