]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 370f61e) | patch
Modified Files:
authorIrene Schena <irene.schena@unibo.it>
Mon, 19 Mar 2001 10:42:54 +0000 (10:42 +0000)
committerIrene Schena <irene.schena@unibo.it>
Mon, 19 Mar 2001 10:42:54 +0000 (10:42 +0000)
commitc2240adf58d6e77973bb057f09e2232852046bf8
tree33697d32f0bf9fd758871e12f65cb4fa5827739dtree | snapshot
parent370f61ed8493567e3393703ef40238b9d587232ecommit | diff
Modified Files:
1) expandobj.xsl, params.xsl, theory_content.xsl, theory_pres.xsl: new structurefor theories
2) params.xsl: adding mode="pure" in abstparams
Added Files:
1) objtheorycontent.xsl: new content generation for objects in theories
helm/style/expandobj.xsl diff | blob | history
helm/style/objtheorycontent.xsl [new file with mode: 0644] blob
helm/style/params.xsl diff | blob | history
helm/style/theory_content.xsl diff | blob | history
helm/style/theory_pres.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.