chiark / gitweb /
~ian / topbloke-formulae.git / summary
? search:
summary | shortlog | log | commit | commitdiff | tree

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