]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 851b86c) | patch
added information on the "qdl" article with C.S.C.
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 8 Sep 2003 11:57:43 +0000 (11:57 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 8 Sep 2003 11:57:43 +0000 (11:57 +0000)
commit845d9a392bb01f23210b3370bacb2618890b845b
treede4a36db5342436767b7d413a4280bfb56379735tree | snapshot
parent851b86c88a136e04c6042b86687096eb9c7f3175commit | diff
added information on the "qdl" article with C.S.C.
helm/mathql/homepage/implementation.html diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.