ViewVC logotype

Revision 79783

Jump to revision: Previous Next
Author: stephava
Date: Wed Jul 15 09:34:29 2009 UTC (10 years, 7 months ago)
Changed paths: 1
Log Message:
Forgot to commit this file last time. It implements JStar proof tool errors as exceptions.

Changed paths

Path Details
Directorybranches/eth/eve/Src/framework/jstar_proofs/utilities/js_error.e added

  ViewVC Help
Powered by ViewVC 1.1.23