chiark
/
gitweb
/
~ian
/
topbloke-formulae.git
/ tree
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
| tree
snapshot
notation: strip word "merge" from \setmergeof etc.; use new definition of \commitmerg...
-rwxr-xr-x
615
.git-revid
blob
|
history
|
raw
-rw-r--r--
54
.gitignore
blob
|
history
|
raw
-rw-r--r--
576
Makefile
blob
|
history
|
raw
-rw-r--r--
1357
annotations.tex
blob
|
history
|
raw
-rw-r--r--
3428
anticommit.tex
blob
|
history
|
raw
-rw-r--r--
5312
article.tex
blob
|
history
|
raw
-rw-r--r--
1139
create-base.tex
blob
|
history
|
raw
-rw-r--r--
1649
create-tip.tex
blob
|
history
|
raw
-rw-r--r--
1185
invariants.tex
blob
|
history
|
raw
-rw-r--r--
6191
lemmas.tex
blob
|
history
|
raw
-rw-r--r--
9876
merge.tex
blob
|
history
|
raw
-rw-r--r--
4004
notation.tex
blob
|
history
|
raw
-rw-r--r--
273
notationtest.tex
blob
|
history
|
raw
-rw-r--r--
5553
old-strategy.tex
blob
|
history
|
raw
-rw-r--r--
1612
pseudomerge.tex
blob
|
history
|
raw
-rw-r--r--
2998
ranking.tex
blob
|
history
|
raw
-rw-r--r--
2697
simple.tex
blob
|
history
|
raw
-rw-r--r--
4023
strategy.tex
blob
|
history
|
raw
-rw-r--r--
205
test.tex
blob
|
history
|
raw
-rw-r--r--
3956
trav-alg.tex
blob
|
history
|
raw
-rw-r--r--
748
trav-proofs.tex
blob
|
history
|
raw