/README/1.1.1.1/Thu Feb  6 19:01:30 2003//
/iscas89-2smv/1.1.1.1/Thu Feb  6 19:01:30 2003//
/kiss2-2smv/1.1.1.1/Thu Feb  6 19:01:30 2003//
/smv-mode.el/1.1.1.1/Thu Feb  6 19:01:30 2003//
/smv2table.awk/1.1.1.1/Thu Feb  6 19:01:30 2003//
D
