]> matita.cs.unibo.it Git - helm.git/commit
notation now digests Cic.Cast, not sure the precedence level is handled correctly
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 27 Nov 2008 10:21:52 +0000 (10:21 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 27 Nov 2008 10:21:52 +0000 (10:21 +0000)
commit404cfbb5d450f3d738637cfee71aac877a4a8b1d
tree8b286bf49929791e138ace9af7d8bff59384fef5
parentbd05377dd2aa36fbbb7edd34726918dab8dd9792
notation now digests Cic.Cast, not sure the precedence level is handled correctly
helm/software/components/content_pres/cicNotationPres.ml
helm/software/components/content_pres/termContentPres.ml