]> matita.cs.unibo.it Git - helm.git/blob - helm/interface/.cvsignore
- removed use hint button
[helm.git] / helm / interface / .cvsignore
1 *.cmo
2 *.cmx
3 *.cmi
4
5 experiment
6 experiment.opt
7 fix_params
8 fix_params.opt
9 mmlinterface
10 mmlinterface.opt
11 reduction
12 reduction.opt
13 t1lib.log
14 output.ps
15 output2.ps
16
17 Makefile
18 configuration.ml
19 helm_wget
20 configure
21 config.log
22 config.cache
23 config.status
24
25 helm_gtk_interface.spec
26
27 gmon.out