Sat, 10 Oct 2009 18:25:43 +0200 | Christian Urban | used a better implementation of \index in Latex; added more to the theorem section | file | diff | annotate |
Sun, 04 Oct 2009 21:56:53 +0200 | Christian Urban | tuned | file | diff | annotate |
Sat, 03 Oct 2009 19:10:23 +0200 | Christian Urban | more work | file | diff | annotate |