]> matita.cs.unibo.it Git - helm.git/commit
ProceduralTeX completed and tested on the terms given as examples in the paper about...
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 25 Feb 2009 20:54:13 +0000 (20:54 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 25 Feb 2009 20:54:13 +0000 (20:54 +0000)
commitff3bd23d19abd7c9e981fd754f54d536fc563ec3
treec101729e4648da1bdf99989ade6fc7b59cae88c4
parent4d33ad480986f3772eb3a1c8b06b6de20750cdde
ProceduralTeX completed and tested on the terms given as examples in the paper about the procedural reconstruction
helm/software/components/acic_procedural/.depend
helm/software/components/acic_procedural/.depend.opt
helm/software/components/acic_procedural/Makefile
helm/software/components/acic_procedural/acic2Procedural.ml
helm/software/components/acic_procedural/acic2Procedural.mli
helm/software/components/acic_procedural/proceduralTeX.ml