protege: protege4/org.protege.plugin.manager/trunk

Current directory:	[protege] / protege4 / org.protege.plugin.manager / trunk
Current revision:	12832
Jump to directory revision:
Files shown:	1

File	Rev.	Age	Author	Last log entry
META-INF/	12831	9 months	tredmond	Added PackageAdmin
lib/	12280	12 months	tredmond	Copying over a version of log4j.jar
src/	12832	9 months	tredmond	revamped cleanup after a crash. Still seems to have some trouble.
build.xml	12281	12 months	tredmond	experimental early version