pcf « etc « x-symbol - proof-general - Emacs interface for proof assistants

Mode	Name	Size
-rw-r--r--	2helvR12.pcf	13168	log plain
-rw-r--r--	2helvR12sub.pcf	13176	log plain
-rw-r--r--	2helvR12sup.pcf	13176	log plain
-rw-r--r--	2helvR14.pcf	14236	log plain
-rw-r--r--	2helvR14sub.pcf	14244	log plain
-rw-r--r--	2helvR14sup.pcf	14244	log plain
-rw-r--r--	3helvR12.pcf	12816	log plain
-rw-r--r--	3helvR12sub.pcf	12824	log plain
-rw-r--r--	3helvR12sup.pcf	12824	log plain
-rw-r--r--	3helvR14.pcf	13924	log plain
-rw-r--r--	3helvR14sub.pcf	13932	log plain
-rw-r--r--	3helvR14sup.pcf	13932	log plain
-rw-r--r--	5etl14.pcf	17720	log plain
-rw-r--r--	5etl14sub.pcf	17728	log plain
-rw-r--r--	5etl14sup.pcf	20020	log plain
-rw-r--r--	5etl16.pcf	19248	log plain
-rw-r--r--	5etl16sub.pcf	19256	log plain
-rw-r--r--	5etl16sup.pcf	21548	log plain
-rw-r--r--	fonts.dir	4585	log plain
-rw-r--r--	helvR12sub.pcf	14452	log plain
-rw-r--r--	helvR12sup.pcf	14452	log plain
-rw-r--r--	helvR14sub.pcf	15644	log plain
-rw-r--r--	helvR14sup.pcf	15644	log plain
-rw-r--r--	helvR18sub.pcf	16180	log plain
-rw-r--r--	helvR18sup.pcf	16180	log plain
-rw-r--r--	helvR24sub.pcf	19600	log plain
-rw-r--r--	helvR24sup.pcf	19600	log plain
-rw-r--r--	heriR12.pcf	13000	log plain
-rw-r--r--	heriR12sub.pcf	13008	log plain
-rw-r--r--	heriR12sup.pcf	13008	log plain
-rw-r--r--	heriR14.pcf	14080	log plain
-rw-r--r--	heriR14sub.pcf	14088	log plain
-rw-r--r--	heriR14sup.pcf	14088	log plain
-rw-r--r--	nilxs.pcf	9172	log plain
-rw-r--r--	xsymb0_12.pcf	13016	log plain
-rw-r--r--	xsymb0_12sub.pcf	13024	log plain
-rw-r--r--	xsymb0_12sup.pcf	13024	log plain
-rw-r--r--	xsymb0_14.pcf	14084	log plain
-rw-r--r--	xsymb0_14sub.pcf	14092	log plain
-rw-r--r--	xsymb0_14sup.pcf	14092	log plain
-rw-r--r--	xsymb0_18.pcf	16200	log plain
-rw-r--r--	xsymb0_18sub.pcf	16208	log plain
-rw-r--r--	xsymb0_18sup.pcf	16208	log plain
-rw-r--r--	xsymb0_24.pcf	19468	log plain
-rw-r--r--	xsymb0_24sub.pcf	19476	log plain
-rw-r--r--	xsymb0_24sup.pcf	19476	log plain
-rw-r--r--	xsymb1_12.pcf	11476	log plain
-rw-r--r--	xsymb1_12sub.pcf	11484	log plain
-rw-r--r--	xsymb1_12sup.pcf	11484	log plain
-rw-r--r--	xsymb1_14.pcf	12352	log plain
-rw-r--r--	xsymb1_14sub.pcf	12360	log plain
-rw-r--r--	xsymb1_14sup.pcf	12360	log plain
-rw-r--r--	xsymb1_18.pcf	14372	log plain
-rw-r--r--	xsymb1_18sub.pcf	14380	log plain
-rw-r--r--	xsymb1_18sup.pcf	14380	log plain
-rw-r--r--	xsymb1_24.pcf	17092	log plain
-rw-r--r--	xsymb1_24sub.pcf	17100	log plain
-rw-r--r--	xsymb1_24sup.pcf	17100	log plain