]> mj.ucw.cz Git - saga.git/commit
Pruned Notation.
authorMartin Mares <mj@ucw.cz>
Sat, 13 Sep 2008 15:07:38 +0000 (17:07 +0200)
committerMartin Mares <mj@ucw.cz>
Sat, 13 Sep 2008 15:07:38 +0000 (17:07 +0200)
commit9027348fe99704d56521490406d6a0ff1dc067c8
tree98bdf148845d32fa0803b609e19a35a6ec699a0a
parent04160c5697523391029cd65c0889b476eefa28e4
Pruned Notation.
notation.tex