Cross Reference: satallax.install
xref: /hets/HasCASL/AS.hs
  • Home
  • History
  • Annotate
  • Line#
  • Navigate
  • Download
  • only in ./
satallax.install revision 91c0a04f8a6d3c1121460346e0e12cf40c4e1faa
bin/satallax usr/bin/
bin/dllminisatinterface.so usr/lib/satallax
coq/* usr/share/satallax/coq/
coq2/* usr/share/satallax/coq2/
modes/* usr/share/satallax/modes/
problems/* usr/share/satallax/problems/
picosat-936/picomus usr/bin
picosat-936/picosat usr/bin

Indexes created Tue Jul 24 14:28:13 CEST 2018