chiark / gitweb /
create base: improve acyclic condition
-rwxr-xr-x 615 .git-revid
-rw-r--r-- 54 .gitignore
-rw-r--r-- 576 Makefile
-rw-r--r-- 1357 annotations.tex
-rw-r--r-- 3428 anticommit.tex
-rw-r--r-- 5312 article.tex
-rw-r--r-- 1105 create-base.tex
-rw-r--r-- 1649 create-tip.tex
-rw-r--r-- 1185 invariants.tex
-rw-r--r-- 6191 lemmas.tex
-rw-r--r-- 9876 merge.tex
-rw-r--r-- 4004 notation.tex
-rw-r--r-- 5553 old-strategy.tex
-rw-r--r-- 1612 pseudomerge.tex
-rw-r--r-- 2973 ranking.tex
-rw-r--r-- 2697 simple.tex
-rw-r--r-- 4023 strategy.tex
-rw-r--r-- 205 test.tex
-rw-r--r-- 4076 trav-alg.tex
-rw-r--r-- 1233 trav-proofs.tex