chiark - git - ian - topbloke-formulae.git/atom logUnnamed repository; edit this file 'description' to name the repository.http://www.chiark.greenend.org.uk/ucgi/~ian/git?p=topbloke-formulae.gitIan Jackson/gitweb/static/git-favicon.png/gitweb/static/git-logo.png2013-08-10T19:44:04Zgitwebstrategy: define W in Notation2013-08-10T19:44:04ZIan Jacksonijackson@chiark.greenend.org.ukIan Jacksonijackson@chiark.greenend.org.uk2013-08-10T19:44:04Zhttp://www.chiark.greenend.org.uk/ucgi/~ian/git?p=topbloke-formulae.git;a=commitdiff;h=9ea3bcbdf09183a1c40fa6f08e5e8cb0628abe50
strategy: add a TODO since Base Ends Supreme is not defined anywhere2013-08-10T19:38:10ZIan Jacksonijackson@chiark.greenend.org.ukIan Jacksonijackson@chiark.greenend.org.uk2013-08-10T19:38:10Zhttp://www.chiark.greenend.org.uk/ucgi/~ian/git?p=topbloke-formulae.git;a=commitdiff;h=39aa11f8790f64b28c6354dee9a846d0eefe86d6
strategy: add a TODO since Base Ends Supreme is not defined anywhere
strategy: w gives commits, not sets2013-08-10T19:27:01ZIan Jacksonijackson@chiark.greenend.org.ukIan Jacksonijackson@chiark.greenend.org.uk2013-08-10T19:27:01Zhttp://www.chiark.greenend.org.uk/ucgi/~ian/git?p=topbloke-formulae.git;a=commitdiff;h=7ea82c90c1a5860cbe3abd1a18f55ca1720d1722
merge: State C's inclusion in terms of stmtmergeof2013-08-10T19:18:11ZIan Jacksonijackson@chiark.greenend.org.ukIan Jacksonijackson@chiark.greenend.org.uk2013-08-10T19:18:11Zhttp://www.chiark.greenend.org.uk/ucgi/~ian/git?p=topbloke-formulae.git;a=commitdiff;h=4b4f48d2e3b22ed890902b7c80966291798d07c8
merge: State C's inclusion in terms of stmtmergeof
merge: add non-cyclic Condition to Base Merge (although I think it's implied by Merge... 2013-08-10T19:02:35ZIan Jacksonijackson@chiark.greenend.org.ukIan Jacksonijackson@chiark.greenend.org.uk2013-08-10T19:02:35Zhttp://www.chiark.greenend.org.uk/ucgi/~ian/git?p=topbloke-formulae.git;a=commitdiff;h=510466038ea660a384f7f8591cf1bda5dfdb9074
merge: add non-cyclic Condition to Base Merge (although I think it's implied by Merge Acyclic
strategy: define w (as w(P) rather than w(H)2013-08-10T17:21:13ZIan Jacksonijackson@chiark.greenend.org.ukIan Jacksonijackson@chiark.greenend.org.uk2013-08-10T17:21:13Zhttp://www.chiark.greenend.org.uk/ucgi/~ian/git?p=topbloke-formulae.git;a=commitdiff;h=f8b525275e017d1a5e77cb31b033d54a52e19e2c
strategy: Define H in notation2013-08-10T14:58:48ZIan Jacksonijackson@chiark.greenend.org.ukIan Jacksonijackson@chiark.greenend.org.uk2013-08-10T14:58:48Zhttp://www.chiark.greenend.org.uk/ucgi/~ian/git?p=topbloke-formulae.git;a=commitdiff;h=1768ad396360b5f7145450858b4bae1e9d1c7b05