package info (click to toggle)
minlog 4.0.99.20080304-4
  • links: PTS
  • area: main
  • in suites: lenny
  • size: 5,596 kB
  • ctags: 3,597
  • sloc: lisp: 80,596; makefile: 250; sh: 11

Folder: bar

d .. (parent)
- - rw-r--r-- 705 Makefile
- - rw-r--r-- 10,100 bar.save
- - rw-r--r-- 3,961 bar.scm
- - rw-r--r-- 14,477 higman-finite.scm
- - rw-r--r-- 62,778 higman01.save
- - rw-r--r-- 8,094 higman01.scm