]> matita.cs.unibo.it Git - helm.git/commit
a linearized reference was still present ...
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 23 Nov 2016 20:14:11 +0000 (20:14 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 23 Nov 2016 20:14:11 +0000 (20:14 +0000)
commitfc577e43ddbfce9a9c049cbc1ffdf97f8da57fce
treebe6f997c5f41cbfd58691629d2d292cedf4fbb2b
parentb2a542079e4c3b8b122d74d48fe2fdf234f3684c
a linearized reference was still present ...
matita/matita/matitaMathView.ml