Matthew Flatt ac20e7fc0d make user PLaneT install path use installation name instead of version		2013-08-02 11:19:33 -06:00
..
collects	make user PLaneT install path use installation name instead of version	2013-08-02 11:19:33 -06:00
src	add `current-library-collection-links' parameter	2013-08-02 08:24:15 -06:00
.gitignore	configure installation of man pages	2013-07-22 13:21:09 -06:00