projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Thu, 24 Nov 2016 15:08:18 +0000 (15:08 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Thu, 24 Nov 2016 15:08:18 +0000 (15:08 +0000) | ||
| commit | 61df137410515be6fd28b0ebd236a2668e0c9068 | |
| tree | 64ee15013f066474ad2fb11338d28e228f43240f | tree | snapshot |
| parent | fc577e43ddbfce9a9c049cbc1ffdf97f8da57fce | commit | diff |
| matita/components/content_pres/cicNotationLexer.ml | diff | blob | history | |
| matita/matita/lib/turing/inject.ma | diff | blob | history |