.cvsignore « phox - proof-general - Emacs interface for proof assistants

about summary refs log tree commit diff homepage

path: root/phox/.cvsignore

blob: f0b14b7ad6d27f817ee0af9ad666e97560ac580b (plain)

config
config.dos
*~
#*#
*.o
*.a
*.cmo
*.cmi
*.cmx
*.pho
*.phi
*.pht
*.math.tex