[Show "Revision History"] [Show "General Page Infos"] [Show "Page hits and edits"]

Revision History

Showing page edit history entries from 1 to 12 out of 12 entries total. (5 | 10 | 25 | 50 | 100 | 200 items per page)

# Date Size Editor Comment Action
12 2013-07-01 12:34:19 8133 to previous DanielShahaf 'constant grandchild': fix formalization view
11 2013-07-01 12:29:46 8124 to previous DanielShahaf add Julian's example view
10 2013-06-28 19:49:49 7812 to previous brane   view
9 2013-06-28 18:57:52 7255 to previous GregStein expand, with some thoughts that were generated during daniel/my IRC conversation view
8 2013-06-28 05:04:08 4841 to previous DanielShahaf spelling fix view
7 2013-06-28 05:02:43 4842 to previous DanielShahaf whitespace changes only view
6 2013-06-28 04:54:48 4828 to previous DanielShahaf reflect my latest dev@ post view
5 2013-06-28 04:38:54 4683 to previous DanielShahaf summarize the issues I've raised on list this week view
4 2013-06-28 04:04:09 2146 to previous DanielShahaf   view
3 2013-06-28 04:01:24 2156 to previous DanielShahaf ToC view
2 2013-06-28 02:47:09 2069 to previous GregStein Remove text that duplicates svn_editor.h. Leave a summary to provide context ("is this something I am interested in?") view
1 2012-12-04 00:35:09 4667 HyrumWright New, with a bit of context from svn_editor.h and a link to the implementation plan. view