11ad38296d4182aac74ce6d5bef27911fbc9690dChristian MaederPATH=/bin:/usr/bin:/usr/X11R6/bin:/home/linux-bkb/bin
9c72f9ad18c36a9c20c79b58b358da56f341b204Christian Maeder :pserver:cvsread@cvs-agbkb.informatik.uni-bremen.de:/repository \
11ad38296d4182aac74ce6d5bef27911fbc9690dChristian Maeder# check differences of *.pp.het and *.pp.pp.het
806fd9e08b8b68eeeb0eccfd8892046a2985e594Christian Maeder# try consistency check with SPASS
f63542473cfd142d1d19f2abdf7f8b10679c9716Christian Maederhets -v2 -o dfg.c Basic/*.casl UserManual/*.casl
39e3d1e1f233b34567824f0ac8c942ff63586349Christian Maedercp /local/home/maeder/haskell/spass_consistency_patterns.txt .
f63542473cfd142d1d19f2abdf7f8b10679c9716Christian Maeder/local/home/maeder/haskell/runSPASSconsistency.sh */*.dfg.c
11ad38296d4182aac74ce6d5bef27911fbc9690dChristian Maeder# check other examples
806fd9e08b8b68eeeb0eccfd8892046a2985e594Christian Maeder do hets -v2 -o prf,th,pp.het,pp.tex $i; done
806fd9e08b8b68eeeb0eccfd8892046a2985e594Christian Maederfor i in */*/*.prf; do hets -v2 -o th $i; done