browser\labltk\otherlibs - delta/ocaml.git

Mode	Name	Size
-rw-r--r--	.cvsignore	12	log plain
-rw-r--r--	.depend	3390	log plain
-rw-r--r--	Makefile	1098	log plain
-rw-r--r--	README	6050	log plain
-rw-r--r--	editor.ml	19094	log plain
-rw-r--r--	editor.mli	122	log plain
-rw-r--r--	fileselect.ml	9579	log plain
-rw-r--r--	fileselect.mli	484	log plain
-rw-r--r--	jg_bind.ml	431	log plain
-rw-r--r--	jg_bind.mli	183	log plain
-rw-r--r--	jg_box.ml	1749	log plain
-rw-r--r--	jg_button.ml	259	log plain
-rw-r--r--	jg_completion.ml	1032	log plain
-rw-r--r--	jg_completion.mli	220	log plain
-rw-r--r--	jg_config.ml	710	log plain
-rw-r--r--	jg_config.mli	35	log plain
-rw-r--r--	jg_entry.ml	343	log plain
-rw-r--r--	jg_memo.ml	387	log plain
-rw-r--r--	jg_memo.mli	164	log plain
-rw-r--r--	jg_menu.ml	1037	log plain
-rw-r--r--	jg_message.ml	2875	log plain
-rw-r--r--	jg_message.mli	323	log plain
-rw-r--r--	jg_multibox.ml	5101	log plain
-rw-r--r--	jg_multibox.mli	752	log plain
-rw-r--r--	jg_text.ml	3200	log plain
-rw-r--r--	jg_text.mli	472	log plain
-rw-r--r--	jg_tk.ml	197	log plain
-rw-r--r--	jg_toplevel.ml	252	log plain
-rw-r--r--	lexical.ml	2175	log plain
-rw-r--r--	lexical.mli	135	log plain
-rw-r--r--	list2.ml	147	log plain
-rw-r--r--	main.ml	870	log plain
-rw-r--r--	mytypes.mli	357	log plain
-rw-r--r--	searchid.ml	15899	log plain
-rw-r--r--	searchid.mli	742	log plain
-rw-r--r--	searchpos.ml	25255	log plain
-rw-r--r--	searchpos.mli	2017	log plain
-rw-r--r--	setpath.ml	4951	log plain
-rw-r--r--	setpath.mli	230	log plain
-rw-r--r--	shell.ml	8132	log plain
-rw-r--r--	shell.mli	466	log plain
-rw-r--r--	typecheck.ml	3113	log plain
-rw-r--r--	typecheck.mli	159	log plain
-rw-r--r--	useunix.ml	744	log plain
-rw-r--r--	useunix.mli	233	log plain
-rw-r--r--	viewer.ml	11591	log plain
-rw-r--r--	viewer.mli	376	log plain