matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

projects / helm.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: e2ee856) | patch

author	Stefano Zacchiroli <zack@upsilon.cc>
	Wed, 12 Mar 2003 17:26:25 +0000 (17:26 +0000)
committer	Stefano Zacchiroli <zack@upsilon.cc>
	Wed, 12 Mar 2003 17:26:25 +0000 (17:26 +0000)
commit	3bafb68f57e64d6524a2b7503df0346ec185d6c8
tree	6be67aeda3a07698d09fc405fd66dad2e0294d2a	tree \| snapshot
parent	e2ee856cd1e7639d4946d838cbf5a93f39b6bdae	commit \| diff

removed old java implementation

16 files changed:

helm/uwobo/ant/ant.jar	[deleted file]	blob \| history
helm/uwobo/ant/jaxp.jar	[deleted file]	blob \| history
helm/uwobo/ant/parser.jar	[deleted file]	blob \| history
helm/uwobo/antRun	[deleted file]	blob \| history
helm/uwobo/antRun.bat	[deleted file]	blob \| history
helm/uwobo/build.xml	[deleted file]	blob \| history
helm/uwobo/docs/COPYING	[deleted file]	blob \| history
helm/uwobo/lib/.cvsignore	[deleted file]	blob \| history
helm/uwobo/lib/servlet.jar	[deleted file]	blob \| history
helm/uwobo/lib/xalan.jar	[deleted file]	blob \| history
helm/uwobo/lib/xerces.jar	[deleted file]	blob \| history
helm/uwobo/src/it/unibo/cs/helm/uwobo/Key.java	[deleted file]	blob \| history
helm/uwobo/src/it/unibo/cs/helm/uwobo/Server.java	[deleted file]	blob \| history
helm/uwobo/src/it/unibo/cs/helm/uwobo/Servlet.java	[deleted file]	blob \| history
helm/uwobo/src/it/unibo/cs/helm/uwobo/properties.txt	[deleted file]	blob \| history
helm/uwobo/web.xml	[deleted file]	blob \| history

Unnamed repository; edit this file 'description' to name the repository.