]> matita.cs.unibo.it Git - helm.git/commit
No more need for symbolic links: .matita, the configuration file, etc. are
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 7 Jul 2005 15:27:14 +0000 (15:27 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 7 Jul 2005 15:27:14 +0000 (15:27 +0000)
commitbe4d6187ed0970df4b6285ee642d98ec1833a6fe
tree67f01abae9aa080afc81b0de013e904000c67e90
parent2e82e55532af778653ad53b563e4dc97cda20798
No more need for symbolic links: .matita, the configuration file, etc. are
now looked for in the directory ./configure was launched in.
helm/matita/buildTimeConf.ml.in
helm/matita/configure.ac
helm/matita/library/Makefile
helm/matita/matita.ml
helm/matita/matitacLib.ml
helm/matita/matitaclean.ml
helm/matita/tests/Makefile