package info (click to toggle)
metamath 0.198-2
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 2,124 kB
  • sloc: ansic: 31,802; makefile: 43

Folder: 0.198-2

show hidden (1)
d .. (parent)
d d rwxr-xr-x 104 .pc
d d rwxr-xr-x 4,096 debian
- - rw-r--r-- 17,992 LICENSE.TXT
- - rw-r--r-- 540 Makefile.am
- - rw-r--r-- 5,348 README.TXT
- - rw-r--r-- 2,130 configure.ac
- - rw-r--r-- 4,305 metamath.1
- - rw-r--r-- 343,250 metamath.c
- - rw-r--r-- 81,759 mmcmdl.c
- - rw-r--r-- 2,122 mmcmdl.h
- - rw-r--r-- 272,967 mmcmds.c
- - rw-r--r-- 6,887 mmcmds.h
- - rw-r--r-- 154,849 mmdata.c
- - rw-r--r-- 21,999 mmdata.h
- - rw-r--r-- 59,563 mmhlpa.c
- - rw-r--r-- 583 mmhlpa.h
- - rw-r--r-- 76,835 mmhlpb.c
- - rw-r--r-- 583 mmhlpb.h
- - rw-r--r-- 58,669 mminou.c
- - rw-r--r-- 4,484 mminou.h
- - rw-r--r-- 2,202 mmmaci.c
- - rw-r--r-- 753 mmmaci.h
- - rw-r--r-- 279,630 mmpars.c
- - rw-r--r-- 9,972 mmpars.h
- - rw-r--r-- 148,336 mmpfas.c
- - rw-r--r-- 9,973 mmpfas.h
- - rw-r--r-- 67,715 mmunif.c
- - rw-r--r-- 4,181 mmunif.h
- - rw-r--r-- 746 mmutil.c
- - rw-r--r-- 446 mmutil.h
- - rw-r--r-- 36,616 mmveri.c
- - rw-r--r-- 2,169 mmveri.h
- - rw-r--r-- 29,548 mmvstr.c
- - rw-r--r-- 7,770 mmvstr.h
- - rw-r--r-- 19,268 mmword.c
- - rw-r--r-- 1,306 mmword.h
- - rw-r--r-- 289,673 mmwtex.c
- - rw-r--r-- 11,011 mmwtex.h