package info
(click to toggle)
spass 3.7-2
- links: PTS
- area: main
- in suites: squeeze
- size: 5,500 kB
- ctags: 5,981
- sloc: ansic: 50,634; yacc: 3,038; sh: 1,072; lex: 430; perl: 407; makefile: 394
Folder: texinfo
 |
.. (parent) | |||
 |
- | rw-r--r-- | 24,187 | SPASS.texi |
|
- | rw-r--r-- | 941 | dfg2ascii.texi |
|
- | rw-r--r-- | 3,165 | dfg2dfg.texi |
|
- | rw-r--r-- | 1,440 | dfg2otter.pl.texi |
|
- | rw-r--r-- | 1,298 | dfg2otter.texi |
|
- | rw-r--r-- | 1,158 | dfg2tptp.texi |
|
- | rw-r--r-- | 55,939 | script.info |
|
- | rw-r--r-- | 1,603 | script.texi |
|
- | rw-r--r-- | 1,533 | spassfaq.texi |
|
- | rw-r--r-- | 1,416 | tptp2dfg.texi |