]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 70aa6dc) | patch
- interpretations are now saved in the .ng files
authorAndrea Asperti <andrea.asperti@unibo.it>
Thu, 4 Nov 2010 14:10:07 +0000 (14:10 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Thu, 4 Nov 2010 14:10:07 +0000 (14:10 +0000)
commit715a957a9f7362cb002faa488160a910b9db677e
tree8e2baa4f9729b9421d598692196c10622a4ec338tree | snapshot
parent70aa6dc959dc1d49f751c183367c3b73393c938bcommit | diff
- interpretations are now saved in the .ng files
matita/components/grafite_engine/grafiteEngine.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.