chiark / gitweb /
 
descriptionUnnamed repository; edit this file 'description' to name the repository.
ownerIan Jackson
last changeSat, 10 Aug 2013 19:44:04 +0000 (20:44 +0100)
shortlog
2013-08-10 Ian Jacksonstrategy: define W in Notation master
2013-08-10 Ian Jacksonstrategy: add a TODO since Base Ends Supreme is not...
2013-08-10 Ian Jacksonstrategy: w gives commits, not sets
2013-08-10 Ian Jacksonnotation: clarify >=
2013-08-10 Ian Jacksonpseudomerge: add some $\qed$s
2013-08-10 Ian Jacksonpseudomerge: fix terminology for foreign commits
2013-08-10 Ian Jacksonmerge: $\qed$ for Bases' Children
2013-08-10 Ian Jacksonmerge: State C's inclusion in terms of stmtmergeof
2013-08-10 Ian Jacksonmerge: Fix formatting
2013-08-10 Ian Jacksonmerge: rename Foreign Merge (was Foreign Merges)
2013-08-10 Ian Jacksonmerge: fix and clarify Suitable Tips
2013-08-10 Ian Jacksonmerge: add non-cyclic Condition to Base Merge (although...
2013-08-10 Ian Jacksoncreate-tip: Add a $\qed$
2013-08-10 Ian Jacksoncreate-base: Add a $\qed$
2013-08-10 Ian Jacksonstrategy: define O^P^-
2013-08-10 Ian Jacksonstrategy: define w (as w(P) rather than w(H)
...
tags
4 years ago f0.3
5 years ago f0.2 formulae for review
heads
3 years ago master