*/RCS
*/RCS/*
*/CVS
*/CVS/*
*/local
*/local/*
ocs/src/oc/*/*/OcsDefs-SysDefs
ocs/src/oc/*/*/*/OcsDefs-SysDefs
ocs/etc
ocs/etc/*
ocs/admin
ocs/admin/*
*~
*.dvi
*/.directory
ocs/examples/Graphics/Graph
ocs/examples/Graphics/Knight
ocs/examples/Graphics/opc
ocs/examples/MyFirstProgram
ocs/examples/exinstall
ocs/examples/Reflections/Generic
ocs/examples/Reflections/Guesses
*.intp
*.extp
*/Doku.tex
*/Internal/Proving
*/lib/Proposals
*/oc1/acTrans
*/oc1/acTrans/*
*/om/shape
ocs/doc/identifying
ocs/doc/docinstall
ocs/doc/bugreport
ocs/doc/dosfop
ocs/doc/libman
ocs/doc/mon-par-interface
ocs/doc/zoptions
*.diag
ocs/src/oc/shared/base
ocs/src/oc/shared/base*
ocs/src/lib/BFD
ocs/src/lib/Theories
ocs/src/lib/Tools/TclTk
ocs/src/lib/Tools/SysDefs.orig
ocs/src/tivi2/libext
config.cache
config.status
