]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ebc346f) | patch
.in version of "configuration" modules
authorStefano Zacchiroli <zack@upsilon.cc>
Sat, 24 Jan 2004 12:35:09 +0000 (12:35 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Sat, 24 Jan 2004 12:35:09 +0000 (12:35 +0000)
commit1bd503d31db62ec1f4b1dfb416c11615f3af7248
treeed0f2daa411a6bccef08563317b517b86cc4a701tree | snapshot
parentebc346f535472bc0f5075dac48040ea5ecc40232commit | diff
.in version of "configuration" modules
helm/gTopLevel/chosenTermEditor.ml [deleted file] blob | history
helm/gTopLevel/chosenTermEditor.ml.in [new file with mode: 0644] blob
helm/gTopLevel/chosenTransformer.ml [deleted file] blob | history
helm/gTopLevel/chosenTransformer.ml.in [new file with mode: 0644] blob
helm/gTopLevel/disambiguatingParser.ml [deleted file] blob | history
helm/gTopLevel/disambiguatingParser.ml.in [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.