]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 725f187) | patch
now inline "file.ma" is allowed.
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 19 Feb 2008 13:00:29 +0000 (13:00 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 19 Feb 2008 13:00:29 +0000 (13:00 +0000)
commit7782637e13656ec7d1d0ccc84e0d8cf894431187
tree0e049add44ef0dc409c64a5455dc9fd5eabca9b2tree | snapshot
parent725f187fc8da130059794317091e03f509727fd8commit | diff
now inline "file.ma" is allowed.
file.ma must be compiled and all its contents are inlined
helm/software/components/library/librarian.ml diff | blob | history
helm/software/components/library/librarian.mli diff | blob | history
helm/software/matita/applyTransformation.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.