package info (click to toggle)
ulex 0.8-6
  • links: PTS
  • area: main
  • in suites: etch, etch-m68k
  • size: 172 kB
  • ctags: 263
  • sloc: ml: 975; makefile: 47; sh: 22

Folder: 0.8-6

d .. (parent)
d d rwxr-xr-x 4,096 debian
- - rw-r--r-- 834 CHANGES
- - rw-r--r-- 1,126 LICENSE
- - rw-r--r-- 237 META
- - rw-r--r-- 1,318 Makefile
- - rw-r--r-- 5,232 README
- - rwxr-xr-x 10,929 cset.ml
- - rw-r--r-- 999 custom_ulexing.ml
- - rw-r--r-- 278 mk_pa_ulex.ml
- - rw-r--r-- 7,748 pa_ulex.ml.src
- - rw-r--r-- 983 test.ml
- - rwxr-xr-x 3,309 ulex.ml
- - rw-r--r-- 309 ulex.mli
- - rwxr-xr-x 5,002 ulexing.ml
- - rw-r--r-- 8,482 ulexing.mli
- - rw-r--r-- 4,380 utf16.ml
- - rw-r--r-- 4,233 utf16.mli
- - rw-r--r-- 4,277 utf8.ml
- - rw-r--r-- 424 utf8.mli
- - rw-r--r-- 535 utf8_test.ml