- more clifford checks
authorChristian Bauer <Christian.Bauer@uni-mainz.de>
Fri, 4 May 2001 23:46:52 +0000 (23:46 +0000)
committerChristian Bauer <Christian.Bauer@uni-mainz.de>
Fri, 4 May 2001 23:46:52 +0000 (23:46 +0000)
commit6d7e9e718bc7236dc29e0ca51a53d6c213296e66
tree40006adbc77f2a04c952eeb1710960e33160cc0e
parentfdade42bf337fa1650bb9d69ee06e3bd1562c951
- more clifford checks
- archive checks has a symbol with a LaTeX name
check/exam_archive.cpp
check/exam_clifford.cpp