]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4be3764) | patch
abstracted over which transformer gTopLevel uses (ocaml or xslt)
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 22 Jan 2004 15:50:16 +0000 (15:50 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 22 Jan 2004 15:50:16 +0000 (15:50 +0000)
commitabc1538e60ab29caaacd3a9825cea25413cffac3
treed3af6f71e03f659f8866482c997d56ba50bb65bbtree | snapshot
parent4be3764541d8caa00737a686156907e7f2ae720ccommit | diff
abstracted over which transformer gTopLevel uses (ocaml or xslt)
helm/gTopLevel/chosenTransformer.ml [new file with mode: 0644] blob
helm/gTopLevel/chosenTransformer.mli [new file with mode: 0644] blob
helm/gTopLevel/termViewer.ml diff | blob | history
helm/gTopLevel/termViewer.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.