]> mj.ucw.cz Git - saga.git/tree
First part of fixes to verification.
-rw-r--r-- 385 Makefile
-rw-r--r-- 2509 PLAN
-rw-r--r-- 61379 adv.tex
-rw-r--r-- 31381 biblio.bib
-rw-r--r-- 96 cover.tex
-rw-r--r-- 11389 macros.tex
-rw-r--r-- 32316 mst.tex
-rw-r--r-- 7986 notation.tex
drwxr-xr-x - pic
drwxr-xr-x - programs
-rw-r--r-- 50929 ram.tex
-rw-r--r-- 37789 rank.tex
-rw-r--r-- 177 saga.tex