]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b2a5420) | patch
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
treebe6f997c5f41cbfd58691629d2d292cedf4fbb2btree | snapshot
parentb2a542079e4c3b8b122d74d48fe2fdf234f3684ccommit | diff
a linearized reference was still present ...
matita/matita/matitaMathView.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.