Page MenuHomeIsabelle/Phabricator
Feed All Transactions

All Transactions
Use Results
Edit Query

AuthorObjectTransactionDate
makariusrISABELLE277ee690cb14: clarified signature -- more operations;
makarius committed rISABELLE277ee690cb14: clarified signature -- more operations;. 
Dec 21 2019, 3:14 PM
makariusrISABELLE79232f138382: clarified signature;
makarius committed rISABELLE79232f138382: clarified signature;. 
Dec 21 2019, 2:47 PM
makariusrISABELLE836fde6f9d7e: proper search with multiple "pages" of results;
makarius committed rISABELLE836fde6f9d7e: proper search with multiple "pages" of results;. 
Dec 21 2019, 2:43 PM
makariusURI 38 http://isabelle-dev.sketis.net/source/isabelle-website/
makarius changed the display type for this URI from "Visible" to "Hidden". 
Dec 20 2019, 9:58 PM
makariusURI 38 http://isabelle-dev.sketis.net/source/isabelle-website/
makarius changed the display type for this URI from "Default" to "No I/O". 
Dec 20 2019, 9:58 PM
makariusURI 38 http://isabelle-dev.sketis.net/source/isabelle-website/
makarius changed this URI from "http://shortname" to "http://isabelle-dev.sketis.net/source/isabelle-website/". 
Dec 20 2019, 9:57 PM
makariusURI 38 http://isabelle-dev.sketis.net/source/isabelle-website/
makarius changed the display type for this URI from "Default" to "Visible". 
Dec 20 2019, 9:57 PM
makariusT7: Setup Notification server
makarius added a comment. 
Dec 20 2019, 4:19 PM
makariusT7: Setup Notification server
makarius created this object with visibility "Public (No Login Required)". 
Dec 20 2019, 4:16 PM
makariusT7: Setup Notification server
makarius claimed this task. 
Dec 20 2019, 4:16 PM
makariusT7: Setup Notification server
makarius triaged this task as Wishlist priority. 
Dec 20 2019, 4:16 PM
makariusT7: Setup Notification server
makarius created this task. 
Dec 20 2019, 4:16 PM
makariusT7: Setup Notification server
makarius added a project: phabricator-setup. 
Dec 20 2019, 4:16 PM
makariusT7: Setup Notification server
makarius created this task. 
Dec 20 2019, 4:16 PM
makariusT7: Setup Notification server
makarius updated the task description. 
Dec 20 2019, 4:16 PM
makariusT7: Setup Notification server
makarius created this object with edit policy "makarius (Makarius Wenzel)". 
Dec 20 2019, 4:16 PM
makariusT7: Setup Notification server
makarius added a subscriber: makarius. 
Dec 20 2019, 4:16 PM
pruvistorAFP88a82d6fdd30: Corrected name
pruvisto committed rAFP88a82d6fdd30: Corrected name. 
Dec 20 2019, 3:27 PM
makariusrISABELLE2217c731d228: tuned documentation;
makarius committed rISABELLE2217c731d228: tuned documentation;. 
Dec 20 2019, 3:24 PM
makariusrISABELLE4642a81f5913: tuned messages;
makarius committed rISABELLE4642a81f5913: tuned messages;. 
Dec 20 2019, 3:21 PM
makariusrISABELLEa89729bdde89: more robust;
makarius committed rISABELLEa89729bdde89: more robust;. 
Dec 19 2019, 10:21 PM
makariusrISABELLEd85258458623: tuned message;
makarius committed rISABELLEd85258458623: tuned message;. 
Dec 19 2019, 10:13 PM
Frédéric TuongrAFPc53762f7c3d9: remove the explicit file checking when using a developer version of Isabelle
Frédéric Tuong committed rAFPc53762f7c3d9: remove the explicit file checking when using a developer version of Isabelle. 
Dec 19 2019, 8:44 PM
makariusrISABELLE0131b7b44c32: NEWS;
makarius mentioned this in Blog Post: Command-line tool "isabelle hg_setup". 
Dec 19 2019, 8:43 PM
makariusBlog Post: Command-line tool "isabelle hg_setup"
makarius published this post. 
Dec 19 2019, 8:43 PM
makariusBlog Post: Command-line tool "isabelle hg_setup"
makarius created this post. 
Dec 19 2019, 8:43 PM
makariusBlog Post: Command-line tool "isabelle hg_setup"
makarius added an edge: rISABELLE0131b7b44c32: NEWS;. 
Dec 19 2019, 8:43 PM
makariusBlog Post: Command-line tool "isabelle hg_setup"
makarius updated the post content. 
Dec 19 2019, 8:43 PM
makariusBlog Post: Command-line tool "isabelle hg_setup"
makarius set this post's subtitle to "". 
Dec 19 2019, 8:43 PM
makariusBlog Post: Command-line tool "isabelle hg_setup"
makarius renamed this blog post from to Command-line tool "isabelle hg_setup". 
Dec 19 2019, 8:43 PM
Frédéric TuongrAFP6c07594c559b: compile with isabelle/0131b7b44c32
Frédéric Tuong added an edge: rISABELLE0131b7b44c32: NEWS;. 
Dec 19 2019, 7:43 PM
Frédéric TuongrISABELLE0131b7b44c32: NEWS;
Frédéric Tuong mentioned this in rAFP6c07594c559b: compile with isabelle/0131b7b44c32. 
Dec 19 2019, 7:43 PM
Frédéric TuongrAFP795d500481e7: merge
Frédéric Tuong committed rAFP795d500481e7: merge. 
Dec 19 2019, 7:42 PM
Frédéric TuongrAFP6c07594c559b: compile with isabelle/0131b7b44c32
Frédéric Tuong committed rAFP6c07594c559b: compile with isabelle/0131b7b44c32. 
Dec 19 2019, 7:39 PM
immlerrISABELLE0131b7b44c32: NEWS;
immler mentioned this in rAFP902736e5b3d5: update to isabelle 0131b7b44c32. 
Dec 19 2019, 7:17 PM
immlerrAFP902736e5b3d5: update to isabelle 0131b7b44c32
immler added an edge: rISABELLE0131b7b44c32: NEWS;. 
Dec 19 2019, 7:17 PM
immlerrAFPdf45a67089ff: remove carriage return
immler committed rAFPdf45a67089ff: remove carriage return. 
Dec 19 2019, 7:14 PM
immlerrAFP902736e5b3d5: update to isabelle 0131b7b44c32
immler committed rAFP902736e5b3d5: update to isabelle 0131b7b44c32. 
Dec 19 2019, 7:09 PM
makariusrISABELLE0131b7b44c32: NEWS;
makarius committed rISABELLE0131b7b44c32: NEWS;. 
Dec 19 2019, 5:29 PM
makariusrISABELLEd0e14780b278: more documentation;
makarius committed rISABELLEd0e14780b278: more documentation;. 
Dec 19 2019, 5:26 PM
makariusrISABELLE7c27a379190f: tuned documentation;
makarius committed rISABELLE7c27a379190f: tuned documentation;. 
Dec 19 2019, 4:55 PM
makariusrISABELLEe58bc223f46c: more robust bound_fixes: external name does appear in "fixes" name space and…
makarius mentioned this in rISABELLE1be996d8bb98: proper proof body context for Simplifier plugins (solvers, loopers, ...)…. 
Dec 19 2019, 4:53 PM
makariusrISABELLE1be996d8bb98: proper proof body context for Simplifier plugins (solvers, loopers, ...)…
makarius added an edge: rISABELLEe58bc223f46c: more robust bound_fixes: external name does appear in "fixes" name space and…. 
Dec 19 2019, 4:53 PM
makariusrISABELLE0256ce61f405: more documentation;
makarius committed rISABELLE0256ce61f405: more documentation;. 
Dec 19 2019, 4:49 PM
makariusrISABELLEedf3210a61a2: added option -r: support more robust consolidation of local clones with varying…
makarius committed rISABELLEedf3210a61a2: added option -r: support more robust consolidation of local clones with varying…. 
Dec 19 2019, 4:21 PM
makariusrISABELLE1e2e68984a9f: clarified backup;
makarius committed rISABELLE1e2e68984a9f: clarified backup;. 
Dec 19 2019, 4:16 PM
makariusrISABELLE26614beb3529: removed somewhat pointless option -R: more careful inspection of hgrc is…
makarius committed rISABELLE26614beb3529: removed somewhat pointless option -R: more careful inspection of hgrc is…. 
Dec 19 2019, 3:55 PM
makariusrISABELLE1be996d8bb98: proper proof body context for Simplifier plugins (solvers, loopers, ...)…
makarius committed rISABELLE1be996d8bb98: proper proof body context for Simplifier plugins (solvers, loopers, ...)…. 
Dec 19 2019, 3:29 PM
makariusrISABELLEe58bc223f46c: more robust bound_fixes: external name does appear in "fixes" name space and…
makarius committed rISABELLEe58bc223f46c: more robust bound_fixes: external name does appear in "fixes" name space and…. 
Dec 19 2019, 3:22 PM
makariusrISABELLE3fc2def62547: tuned signature;
makarius committed rISABELLE3fc2def62547: tuned signature;. 
Dec 19 2019, 2:46 PM
nipkowrAFP55e2ed5589cd: adapted to devel
nipkow committed rAFP55e2ed5589cd: adapted to devel. 
Dec 19 2019, 9:50 AM
kleingrAFP4a3fcae15c7b: Isabelle_C session directories
kleing committed rAFP4a3fcae15c7b: Isabelle_C session directories. 
Dec 19 2019, 8:32 AM
kleingrAFPe760bb298ecd: merge from afp-2019
kleing committed rAFPe760bb298ecd: merge from afp-2019. 
Dec 19 2019, 8:30 AM
kleingrAFP79e888fe281b: new entry Isabelle_C
kleing committed rAFP79e888fe281b: new entry Isabelle_C. 
Dec 19 2019, 8:04 AM
makariusrISABELLE64ec254d901d: proper backup;
makarius committed rISABELLE64ec254d901d: proper backup;. 
Dec 18 2019, 10:26 PM
makariusrISABELLE5b68cc73f8b1: clarified signature;
makarius committed rISABELLE5b68cc73f8b1: clarified signature;. 
Dec 18 2019, 9:28 PM
makariusrISABELLEc7bf771cdfb5: more ambitious edit_hgrc;
makarius committed rISABELLEc7bf771cdfb5: more ambitious edit_hgrc;. 
Dec 18 2019, 9:18 PM
makariusrISABELLE937328d61436: added command hg_setup: setup remote vs. local Mercurial repository;
makarius committed rISABELLE937328d61436: added command hg_setup: setup remote vs. local Mercurial repository;. 
Dec 18 2019, 8:15 PM
makariusrISABELLEe169a04e4d3b: clarified signature;
makarius committed rISABELLEe169a04e4d3b: clarified signature;. 
Dec 18 2019, 6:59 PM
makariusrISABELLEfd644fb7871b: clarified signature;
makarius committed rISABELLEfd644fb7871b: clarified signature;. 
Dec 18 2019, 4:31 PM
makariusrISABELLE072e585ba238: tuned;
makarius committed rISABELLE072e585ba238: tuned;. 
Dec 18 2019, 4:22 PM
makariusrISABELLE384755399fa8: clarified signature;
makarius committed rISABELLE384755399fa8: clarified signature;. 
Dec 18 2019, 4:14 PM
makariusrISABELLE4a7a1da27087: tuned;
makarius committed rISABELLE4a7a1da27087: tuned;. 
Dec 18 2019, 3:31 PM
makariusrISABELLE113779776ee4: more repository information;
makarius committed rISABELLE113779776ee4: more repository information;. 
Dec 18 2019, 3:10 PM
makariusrISABELLE2f7da37bab52: more permissive string fields;
makarius committed rISABELLE2f7da37bab52: more permissive string fields;. 
Dec 18 2019, 3:10 PM
nipkowrISABELLE9687209ce8cb: tuned proof (by Thomas Sewell)
nipkow committed rISABELLE9687209ce8cb: tuned proof (by Thomas Sewell). 
Dec 18 2019, 10:39 AM
kleingrAFP139f5ffeed6f: Word_Lib: latex document fix
kleing committed rAFP139f5ffeed6f: Word_Lib: latex document fix. 
Dec 18 2019, 10:33 AM
nipkowrAFP2927c2e59db9: tuned
nipkow committed rAFP2927c2e59db9: tuned. 
Dec 18 2019, 9:31 AM
nipkowrAFPb4d506a1a87e: New entry Poicare_Bendixson
nipkow committed rAFPb4d506a1a87e: New entry Poicare_Bendixson. 
Dec 18 2019, 9:25 AM
traytelrAFP0b9412db8759: made LFP operation more faithful to the implementation
traytel committed rAFP0b9412db8759: made LFP operation more faithful to the implementation. 
Dec 18 2019, 9:00 AM
kleingrAFP4e2c2331b602: Word_Lib: cleanup, shorter proofs; new material from l4v; word_eqI method
kleing committed rAFP4e2c2331b602: Word_Lib: cleanup, shorter proofs; new material from l4v; word_eqI method. 
Dec 18 2019, 8:23 AM
kleingrAFPbdb912acf555: remove left-over comment
kleing committed rAFPbdb912acf555: remove left-over comment. 
Dec 18 2019, 7:20 AM
makariusrISABELLE48e72c72b4d8: tuned;
makarius committed rISABELLE48e72c72b4d8: tuned;. 
Dec 17 2019, 10:22 PM
makariusrISABELLE0e3a3e3cf482: clarified signature: error_code may contain low-level message instead of proper…
makarius committed rISABELLE0e3a3e3cf482: clarified signature: error_code may contain low-level message instead of proper…. 
Dec 17 2019, 10:18 PM
makariusrISABELLE3fdd0b93fa4b: clarified signature;
makarius committed rISABELLE3fdd0b93fa4b: clarified signature;. 
Dec 17 2019, 10:06 PM
makariusrISABELLEca794da3bb1d: tuned signature;
makarius committed rISABELLEca794da3bb1d: tuned signature;. 
Dec 17 2019, 9:19 PM
makariusrISABELLE51c19a44cfed: support for conduit API;
makarius committed rISABELLE51c19a44cfed: support for conduit API;. 
Dec 17 2019, 9:04 PM
makariusrISABELLE93b097726667: tuned whitespace;
makarius committed rISABELLE93b097726667: tuned whitespace;. 
Dec 17 2019, 8:34 PM
nipkowrAFP2e0d1f786e12: added a sorting theory
nipkow committed rAFP2e0d1f786e12: added a sorting theory. 
Dec 17 2019, 4:37 PM
makariusrISABELLE9f2085c499a2: more robust: support /usr/local/bin/hg;
makarius committed rISABELLE9f2085c499a2: more robust: support /usr/local/bin/hg;. 
Dec 17 2019, 3:04 PM
makariusrISABELLE71ea54e851ad: tuned documentation;
makarius committed rISABELLE71ea54e851ad: tuned documentation;. 
Dec 17 2019, 1:43 PM
makariusrISABELLE6aadbd650280: eliminated pointless option -T: it merely tests ssh config of root, which is…
makarius committed rISABELLE6aadbd650280: eliminated pointless option -T: it merely tests ssh config of root, which is…. 
Dec 17 2019, 1:35 PM
makariusProfile Menu Item
makarius edited this Profile Menu Item. 
Dec 17 2019, 11:53 AM
makariusProfile Menu Item
makarius edited this Profile Menu Item. 
Dec 17 2019, 11:53 AM
makariusProfile Menu Item
makarius edited this Profile Menu Item. 
Dec 17 2019, 11:53 AM
makariusProfile Menu Item
makarius edited this Profile Menu Item. 
Dec 17 2019, 11:53 AM
makariusProfile Menu Item
makarius edited this Profile Menu Item. 
Dec 17 2019, 11:53 AM
makariusProfile Menu Item
makarius edited this Profile Menu Item. 
Dec 17 2019, 11:53 AM
makariusProfile Menu Item
makarius edited this Profile Menu Item. 
Dec 17 2019, 11:53 AM
makariusProfile Menu Item
makarius edited this Profile Menu Item. 
Dec 17 2019, 11:53 AM
makariusProfile Menu Item
makarius edited this Profile Menu Item. 
Dec 17 2019, 11:53 AM
makariusProfile Menu Item
makarius edited this Profile Menu Item. 
Dec 17 2019, 11:53 AM
makariusProfile Menu Item
makarius edited this Profile Menu Item. 
Dec 17 2019, 11:53 AM
makariusProfile Menu Item
makarius edited this Profile Menu Item. 
Dec 17 2019, 11:53 AM
makariusProfile Menu Item
makarius edited this Profile Menu Item. 
Dec 17 2019, 11:53 AM
makariusProfile Menu Item
makarius edited this Profile Menu Item. 
Dec 17 2019, 11:53 AM
makariusProfile Menu Item
makarius edited this Profile Menu Item. 
Dec 17 2019, 11:53 AM
makariusProfile Menu Item
makarius edited this Profile Menu Item. 
Dec 17 2019, 11:53 AM
makariusProfile Menu Item
makarius edited this Profile Menu Item. 
Dec 17 2019, 11:53 AM
makariusProfile Menu Item
makarius edited this Profile Menu Item. 
Dec 17 2019, 11:53 AM
First
Prev
Next