]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 657a64f) | patch
"towards a distribution of matita" changes:
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 4 Nov 2005 09:34:24 +0000 (09:34 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 4 Nov 2005 09:34:24 +0000 (09:34 +0000)
commitd24be2bf64f06d08ec09e97743fda4b3d118ec80
tree061956c6765ca279eaa9a2896d1899df6f446dc3tree | snapshot
parent657a64ff42cfc0f4821ba47d2ee9bbbe5b41c74dcommit | diff
"towards a distribution of matita" changes:
- @USER_HOME@, @USER_NAME@ no longer hard coded at configure time
- added support for tilde expansion in configuration file
- added support for runtime overriding of RT_BASE_DIR
- better configure.ac, can now configure RT_BASE_DIR, debugging, and distribution defaults
helm/matita/buildTimeConf.ml.in diff | blob | history
helm/matita/configure.ac diff | blob | history
helm/matita/matita.conf.xml.sample.in diff | blob | history
helm/matita/matita.ml diff | blob | history
helm/matita/matitaInit.ml diff | blob | history
helm/matita/matitamake.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.