]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 95d7911) | patch
Minor module re-organization:
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 3 Feb 2003 10:50:12 +0000 (10:50 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 3 Feb 2003 10:50:12 +0000 (10:50 +0000)
commit60c66573ddcb1cea922095dfdc3a315d8d5012a1
treecfbbef0f493cbef5e1c848a65fcdfeb2fc28f005tree | snapshot
parent95d791163d23738e82c4232598138f7cbab4207fcommit | diff
Minor module re-organization:
1. SequentPp is now no more dependent from proofEngine
2. the functions to apply stylesheets from DOM documents to DOM documents
   are not any longer exported by ApplyStylesheets
helm/gTopLevel/applyStylesheets.ml diff | blob | history
helm/gTopLevel/applyStylesheets.mli diff | blob | history
helm/gTopLevel/sequentPp.ml diff | blob | history
helm/gTopLevel/termViewer.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.