[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

"Trouble loading ICS, so it is not available."




I get the Emacs message "Trouble loading ICS, so it is not available."  when
starting PVS 3.0.  What is ICS?  Does it matter?  Klaus Havelund ran a
simple proof that worked.  I'm running Emacs 20.4.1, Linux Mandrake 6.1, tcl
8.0.

-- 
Tom Pressburger                         thomas.t.pressburger@nasa.gov
NASA Ames Research Center, MS 269-2     (650) 604-4878
Moffett Field, CA 94035-1000 USA        
Automated Software Engineering Group    http://ase.arc.nasa.gov/ttp