John Marino 92a699e645 math/why: remove hidden references to math/isabelle ... There was a placeholder to support isabelle, but the port is being removed so let's just remove the placeholder.		2015-03-01 21:14:57 +00:00
..
files
distinfo
Makefile
Makefile.common	math/why: remove hidden references to math/isabelle	2015-03-01 21:14:57 +00:00
pkg-descr
pkg-plist