package info (click to toggle)
ulex 0.5-3
  • links: PTS
  • area: main
  • in suites: sarge
  • size: 156 kB
  • ctags: 260
  • sloc: ml: 1,070; makefile: 73; sh: 50

Folder: 0.5-3

d .. (parent)
d d rwxr-xr-x 149 debian
- - rw-r--r-- 581 CHANGES
- - rw-r--r-- 26,428 LICENSE
- - rw-r--r-- 237 META
- - rw-r--r-- 1,212 Makefile
- - rw-r--r-- 4,888 README
- - rwxr-xr-x 10,937 cset.ml
- - rw-r--r-- 999 custom_ulexing.ml
- - rw-r--r-- 7,740 pa_ulex.ml
- - rw-r--r-- 983 test.ml
- - rwxr-xr-x 3,309 ulex.ml
- - rw-r--r-- 309 ulex.mli
- - rwxr-xr-x 4,925 ulexing.ml
- - rw-r--r-- 8,155 ulexing.mli
- - rw-r--r-- 6,276 utf8.ml
- - rw-r--r-- 403 utf8.mli