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

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

author	Stefano Zacchiroli <zack@upsilon.cc>
	Wed, 12 Mar 2003 18:37:49 +0000 (18:37 +0000)
committer	Stefano Zacchiroli <zack@upsilon.cc>
	Wed, 12 Mar 2003 18:37:49 +0000 (18:37 +0000)
commit	47b0c2c1b421b62302b1957954912b4c0dfba9fa
tree	b14a09b3bf5f32b50ed01d53229f5283bff93b4a	tree \| snapshot
parent	59fd4dea179a79dcf39a8c8935668ab7ce400fe3	commit \| diff

moved uwobo sources to the root uwobo directory

23 files changed:

helm/uwobo/.depend	[new file with mode: 0644]	blob
helm/uwobo/Makefile	[new file with mode: 0644]	blob
helm/uwobo/src/ocaml/.cvsignore	[deleted file]	blob \| history
helm/uwobo/src/ocaml/.depend	[deleted file]	blob \| history
helm/uwobo/src/ocaml/Makefile	[deleted file]	blob \| history
helm/uwobo/src/ocaml/uwobo.ml	[deleted file]	blob \| history
helm/uwobo/src/ocaml/uwobo_common.ml	[deleted file]	blob \| history
helm/uwobo/src/ocaml/uwobo_common.mli	[deleted file]	blob \| history
helm/uwobo/src/ocaml/uwobo_engine.ml	[deleted file]	blob \| history
helm/uwobo/src/ocaml/uwobo_engine.mli	[deleted file]	blob \| history
helm/uwobo/src/ocaml/uwobo_logger.ml	[deleted file]	blob \| history
helm/uwobo/src/ocaml/uwobo_logger.mli	[deleted file]	blob \| history
helm/uwobo/src/ocaml/uwobo_styles.ml	[deleted file]	blob \| history
helm/uwobo/src/ocaml/uwobo_styles.mli	[deleted file]	blob \| history
helm/uwobo/uwobo.ml	[new file with mode: 0644]	blob
helm/uwobo/uwobo_common.ml	[new file with mode: 0644]	blob
helm/uwobo/uwobo_common.mli	[new file with mode: 0644]	blob
helm/uwobo/uwobo_engine.ml	[new file with mode: 0644]	blob
helm/uwobo/uwobo_engine.mli	[new file with mode: 0644]	blob
helm/uwobo/uwobo_logger.ml	[new file with mode: 0644]	blob
helm/uwobo/uwobo_logger.mli	[new file with mode: 0644]	blob
helm/uwobo/uwobo_styles.ml	[new file with mode: 0644]	blob
helm/uwobo/uwobo_styles.mli	[new file with mode: 0644]	blob

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