]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/html/publications/others/.cvsignore
ocaml 3.09 transition
[helm.git] / helm / mowgli / home / html / publications / others / .cvsignore
index a5a366544088d08b8e9c404083fb0651ebcc9ae6..00a05356798c5060e5c193423d5f1927d488068b 100644 (file)
@@ -12,3 +12,7 @@ mscs_gb.html
 tcs2001_og.html 
 tphols2000_gwz.html 
 tphols2001_apss.html 
+cc.html
+cup_hp91.html
+cup_hp93.html
+w3c_bl98.html
\ No newline at end of file