summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
mdw [Wed, 30 Jan 2002 09:57:06 +0000 (09:57 +0000)]
Miscellaneous rewordings and fixings.
mdw [Wed, 31 Oct 2001 09:33:59 +0000 (09:33 +0000)]
Fix bugs.
mdw [Fri, 12 Oct 2001 18:55:28 +0000 (18:55 +0000)]
Fix typos. Replace proof that PRPs are PRFs. Other fixes.
mdw [Tue, 2 Oct 2001 23:05:52 +0000 (23:05 +0000)]
Turn .sty to .cls, use .cfg files for config, add no-answers version.
mdw [Tue, 2 Oct 2001 19:13:22 +0000 (19:13 +0000)]
Remove iff question.
mdw [Tue, 2 Oct 2001 19:06:59 +0000 (19:06 +0000)]
initial version
~mdw / doc / ips / log