package info (click to toggle)
hol88 2.02.19940316-35
  • links: PTS
  • area: main
  • in suites: bullseye, buster, sid
  • size: 65,988 kB
  • ctags: 21,623
  • sloc: ml: 199,939; ansic: 9,666; sh: 7,118; makefile: 6,095; lisp: 2,747; yacc: 894; sed: 201; cpp: 87; awk: 5

Folder: lisp

d .. (parent)
- - rw-r--r-- 52 .gmacs_state
- - rw-r--r-- 263 READ-ME
- - rw-r--r-- 1,911 akcl.l
- - rw-r--r-- 3,505 banner.l
- - rw-r--r-- 3,250 constp.l
- - rw-r--r-- 24,265 f-cl.l
- - rw-r--r-- 14,347 f-constants.l
- - rw-r--r-- 15,042 f-dml.l
- - rw-r--r-- 12,383 f-format.l
- - rw-r--r-- 11,281 f-franz.l
- - rw-r--r-- 8,292 f-freadth.l
- - rw-r--r-- 6,793 f-gp.l
- - rw-r--r-- 4,972 f-help.l
- - rw-r--r-- 18,074 f-inst.l
- - rw-r--r-- 12,661 f-iox-stand.l
- - rw-r--r-- 5,424 f-lis.l
- - rw-r--r-- 4,543 f-macro.l
- - rw-r--r-- 8,095 f-mlprin.l
- - rw-r--r-- 4,232 f-obj.l
- - rw-r--r-- 9,480 f-ol-net.l
- - rw-r--r-- 4,059 f-ol-rec.l
- - rw-r--r-- 220,751 f-ol-syntax.c
- - rw-r--r-- 7,229 f-ol-syntax.h
- - rw-r--r-- 20,985 f-ol-syntax.l
- - rw-r--r-- 15,717 f-parser.l
- - rw-r--r-- 26,822 f-parsml.l
- - rw-r--r-- 11,660 f-parsol.l
- - rw-r--r-- 9,705 f-simpl.l
- - rw-r--r-- 2,339 f-site.l
- - rw-r--r-- 17,589 f-subst.l
- - rw-r--r-- 8,522 f-system.l
- - rw-r--r-- 35,631 f-thyfns.l
- - rw-r--r-- 36,228 f-tml.l
- - rw-r--r-- 32,991 f-tran.l
- - rw-r--r-- 30,734 f-typeml.l
- - rw-r--r-- 14,927 f-typeol.l
- - rw-r--r-- 7,333 f-writml.l
- - rw-r--r-- 17,375 f-writol.l
- - rw-r--r-- 2,498 genfns.l
- - rw-r--r-- 3,387 genmacs.l
- - rw-r--r-- 3,919 gnt.l
- - rw-r--r-- 35,009 hol-pars.l
- - rw-r--r-- 44,399 hol-writ.l
- - rw-r--r-- 2,734 mk-hol-lcf.l
- - rw-r--r-- 3,744 mk-ml.l
- - rw-r--r-- 2,348 mk_pp_thm.l
- - rw-r--r-- 2,907 parse_as_binder.l
- - rw-r--r-- 8,144 parslet.l
- - rw-r--r-- 9,182 parslist.l