matita.cs.unibo.it Git - helm.git/tree

]> matita.cs.unibo.it Git - helm.git/tree

projects / helm.git / tree

96facadab3d9ec8b4ef5c4ffaff36a6b00140160

-rw-r--r--	1033	changelog	blob \| raw
-rw-r--r--	1978	control	blob \| raw
-rw-r--r--	749	copyright	blob \| raw
-rw-r--r--	49	docs	blob \| raw
-rw-r--r--	68	libeditex-dev.files	blob \| raw
-rw-r--r--	111	libeditex-ocaml-dev.files	blob \| raw
-rw-r--r--	36	libeditex-ocaml.files	blob \| raw
-rw-r--r--	25	libeditex0.files	blob \| raw
-rwxr-xr-x	1662	rules	blob \| raw

Unnamed repository; edit this file 'description' to name the repository.