3 Commits

Author	SHA1	Message	Date
kili	be7ce949cf	Regenerate plist for profiling libs.	2013-01-20 17:56:05 +00:00
kili	2acb3c8385	Move the @exec and @unexec lines running the {,un}register.sh scripts ... and the line with the unregister.sh script down to the bottom of the plist. Silences all the blurb about ".../*.haddock doesn't exist or isn't a file."	2012-10-28 23:24:28 +00:00
kili	ac150d6220	Provides a wide array of semigroupoids and operations for working ... with semigroupds. A Semigroupoid is a Category without the requirement of identity arrows for every object in the category. ok ajacoutot@	2012-01-23 21:05:02 +00:00