HybridSal -- A tool for abstracting hybridsal specifications to SAL specifications
This page will soon be outdated.
The official page is
HybridSalDoc.ps (slightly outdated).
06.06.07: hybridsal2xml/install.sh script had a bug.
This has been fixed in the updated version above.
06.19.07: If running using alisp, start alisp and give
before doing (load "load.lisp")
Return to the Ashish's home page
Return to the Computer Science Laboratory home page