diff pldoc/pldoc.sty @ 19:256016cddcba

Moved to library(debug) for messages; more helpful message if foreign library fails to load.
author samer
date Thu, 09 Feb 2012 10:57:10 +0000
parents 546bfd3988b0
children
line wrap: on
line diff