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: d71338d) | patch

author	Luca Padovani <luca.padovani@unito.it>
	Wed, 17 Jan 2001 18:05:00 +0000 (18:05 +0000)
committer	Luca Padovani <luca.padovani@unito.it>
	Wed, 17 Jan 2001 18:05:00 +0000 (18:05 +0000)
commit	7795f00bdb9888a6e958e7794e67d6535e37fed9
tree	d09b8690ccf1e6c9adfeecac23947f41afa5cfdc	tree \| snapshot
parent	d71338dee9f65981e827bca3b4d6d79c0197b4d9	commit \| diff

improved autoconfiguration and other small fixes, this module is about
to be dismissed

14 files changed:

helm/xsltd/Makefile.in		diff \| blob \| history
helm/xsltd/Makefile.old		diff \| blob \| history
helm/xsltd/cadet	[deleted file]	blob \| history
helm/xsltd/configure.in		diff \| blob \| history
helm/xsltd/helm_xsltd-0.0.1-1.spec	[deleted file]	blob \| history
helm/xsltd/helm_xsltd.spec.in	[new file with mode: 0644]	blob
helm/xsltd/isterix	[deleted file]	blob \| history
helm/xsltd/start-xaland.in		diff \| blob \| history
helm/xsltd/xaland-java-DOM/xaland_DOM.java		diff \| blob \| history
helm/xsltd/xaland-java/rompi.java		diff \| blob \| history
helm/xsltd/xaland-java/sped.java		diff \| blob \| history
helm/xsltd/xaland-java/xaland.java		diff \| blob \| history
helm/xsltd/xaland-java2/xaland2.java		diff \| blob \| history
helm/xsltd/xaland-uwobo/xaland_uwobo.java		diff \| blob \| history

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