]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3388f89) | patch
* added dependencies to the ocaml shared stub lib
authorLuca Padovani <luca.padovani@unito.it>
Wed, 2 Apr 2003 12:06:00 +0000 (12:06 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Wed, 2 Apr 2003 12:06:00 +0000 (12:06 +0000)
commitb833f28638c2b0c1fd91198950e439a6ac6f9a97
treeeca52d394c80d3055292089669389da855f90b81tree | snapshot
parent3388f899027a287472d0e70785e7c9c64f3d8957commit | diff
* added dependencies to the ocaml shared stub lib
helm/DEVEL/mathml_editor/ocaml/Makefile.am diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.