DEBSOURCES
Skip Quicknav
Home
Search
Documentation
Stats
About
sources
/
matita
/
0.99.3-1
/ docs
package info
(click to toggle)
matita 0.99.3-1
links:
PTS
,
VCS
area: main
in suites: stretch
size: 9,580 kB
ctags: 5,761
sloc
: ml: 46,829; xml: 6,414; makefile: 1,223; ansic: 605; sh: 89; perl: 36; awk: 15; haskell: 6; sed: 4
Folder: docs
.. (parent)
d
rwxr-xr-x
39
manual