]> matita.cs.unibo.it Git - helm.git/commit
Simplified rendering
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 20 May 2011 08:48:27 +0000 (08:48 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 20 May 2011 08:48:27 +0000 (08:48 +0000)
commit00bf2ea3ead13657205e37b0f16d084ba0732523
treea188f84536149e1fee9ac82574262042fda4ae10
parent8143bd09a92b3a1564e19c449e82c1ef4377f888
Simplified rendering
matitaB/components/content/Makefile
matitaB/components/content/content.ml [deleted file]
matitaB/components/content/content.mli [deleted file]
matitaB/components/content/notationPp.ml
matitaB/components/content/notationPt.ml