Dear All, Can someone checkin the attached? It is for
applications/science/logic/hol It bumps the version to k.8 I couldn't get the dot documentation generation step to work. It doesn't really matter much, but if someone could look at this I would be grateful. At the end of the build log it says: -- Writing HOLPage *** Can't see dot executable at dot; not generating theory-graph Hol built successfully. -- Thanks
default.nix
Description: Binary data
_______________________________________________ nix-dev mailing list [email protected] http://lists.science.uu.nl/mailman/listinfo/nix-dev
