From: Claudio Sacerdoti Coen Date: Wed, 11 Apr 2001 11:05:35 +0000 (+0000) Subject: Control frame added to CIC window X-Git-Tag: v0_1_2~21 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=a6e7b3d67704039e6e6bd45beedfa4f7e170a593;p=helm.git Control frame added to CIC window --- diff --git a/helm/style/expandobj.xsl b/helm/style/expandobj.xsl index 081c225ce..a16176be5 100644 --- a/helm/style/expandobj.xsl +++ b/helm/style/expandobj.xsl @@ -48,7 +48,7 @@ - + - + diff --git a/helm/style/html_reals.xsl b/helm/style/html_reals.xsl index 3403b9dcb..9d49b1305 100644 --- a/helm/style/html_reals.xsl +++ b/helm/style/html_reals.xsl @@ -326,10 +326,3 @@ - - - - - - - diff --git a/helm/style/link.xsl b/helm/style/link.xsl index 3e3dc8c20..d5af006e1 100644 --- a/helm/style/link.xsl +++ b/helm/style/link.xsl @@ -44,10 +44,17 @@ + other + + + + + + @@ -56,6 +63,7 @@ + cic diff --git a/helm/style/links_library.xsl b/helm/style/links_library.xsl index 825a06ee0..7befa7bac 100644 --- a/helm/style/links_library.xsl +++ b/helm/style/links_library.xsl @@ -34,6 +34,7 @@ + + + + + + + + + + + + + + + + + + + @@ -106,22 +125,75 @@ step for expanding objects --> - + + + + + + + + + + + + + + + + + + + + + + + -apply?keys= -&param.naturalLanguage=&param.annotations=&prop.media-type=&param.media-type=&prop.doctype-public=&param.doctype-public=&prop.encoding=&param.encoding=&param.keys=&param.getterURL=&param.processorURL=&xmluri= +?url= +apply?keys= +&param.naturalLanguage=&param.annotations=&prop.media-type=&param.media-type=&prop.doctype-public=&param.doctype-public=&prop.encoding=&param.encoding=&param.keys=&param.getterURL=&param.processorURL=&param.interfaceURL=&xmluri= + + + + + + + + + + + + + + + + + + + + + + + + + + + + %26param.CICURI%3D + + + + + + - - - - - - - - + + + + &param.CICURI=&param.type=