package info (click to toggle)
matita 0.5.8-2
  • links: PTS, VCS
  • area: main
  • in suites: squeeze
  • size: 31,144 kB
  • ctags: 10,276
  • sloc: ml: 91,469; xml: 8,768; makefile: 2,021; ansic: 605; sh: 462; php: 381; awk: 121; perl: 36; sql: 11; sed: 4

Folder: components

d .. (parent)
d d rwxr-xr-x 4,096 METAS
d d rwxr-xr-x 100 STATS
d d rwxr-xr-x 4,096 acic_content
d d rwxr-xr-x 4,096 acic_procedural
d d rwxr-xr-x 4,096 binaries
d d rwxr-xr-x 4,096 cic
d d rwxr-xr-x 4,096 cic_acic
d d rwxr-xr-x 4,096 cic_disambiguation
d d rwxr-xr-x 86 cic_exportation
d d rwxr-xr-x 4,096 cic_proof_checking
d d rwxr-xr-x 4,096 cic_unification
d d rwxr-xr-x 4,096 content_pres
d d rwxr-xr-x 4,096 disambiguation
d d rwxr-xr-x 4,096 extlib
d d rwxr-xr-x 4,096 getter
d d rwxr-xr-x 4,096 grafite
d d rwxr-xr-x 4,096 grafite_engine
d d rwxr-xr-x 4,096 grafite_parser
d d rwxr-xr-x 4,096 hbugs
d d rwxr-xr-x 119 hgdome
d d rwxr-xr-x 108 hmysql
d d rwxr-xr-x 4,096 lexicon
d d rwxr-xr-x 4,096 library
d d rwxr-xr-x 78 logger
d d rwxr-xr-x 4,096 metadata
d d rwxr-xr-x 147 ng_cic_content
d d rwxr-xr-x 90 ng_disambiguation
d d rwxr-xr-x 4,096 ng_kernel
d d rwxr-xr-x 4,096 ng_library
d d rwxr-xr-x 4,096 ng_paramodulation
d d rwxr-xr-x 4,096 ng_refiner
d d rwxr-xr-x 4,096 ng_tactics
d d rwxr-xr-x 139 registry
d d rwxr-xr-x 4,096 syntax_extensions
d d rwxr-xr-x 4,096 tactics
d d rwxr-xr-x 140 thread
d d rwxr-xr-x 4,096 tptp_grafite
d d rwxr-xr-x 78 urimanager
d d rwxr-xr-x 117 whelp
d d rwxr-xr-x 137 xml
d d rwxr-xr-x 72 xmldiff
- - rw-r--r-- 3,635 Makefile
- - rw-r--r-- 4,800 Makefile.common