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

Mode	Name	Size
-rw-r--r--	2helvR12sub.bdf	23126	log plain
-rw-r--r--	2helvR12sup.bdf	22962	log plain
-rw-r--r--	2helvR14sub.bdf	24589	log plain
-rw-r--r--	2helvR14sup.bdf	24427	log plain
-rw-r--r--	3helvR12sub.bdf	21522	log plain
-rw-r--r--	3helvR12sup.bdf	21358	log plain
-rw-r--r--	3helvR14sub.bdf	23032	log plain
-rw-r--r--	3helvR14sup.bdf	22870	log plain
-rw-r--r--	5etl14sub.bdf	27219	log plain
-rw-r--r--	5etl14sup.bdf	27028	log plain
-rw-r--r--	5etl16sub.bdf	28268	log plain
-rw-r--r--	5etl16sup.bdf	28076	log plain
-rw-r--r--	helvR12sub.bdf	27195	log plain
-rw-r--r--	helvR12sup.bdf	27020	log plain
-rw-r--r--	helvR14sub.bdf	28805	log plain
-rw-r--r--	helvR14sup.bdf	28634	log plain
-rw-r--r--	heriR12sub.bdf	23215	log plain
-rw-r--r--	heriR12sup.bdf	23047	log plain
-rw-r--r--	heriR14sub.bdf	24710	log plain
-rw-r--r--	heriR14sup.bdf	24545	log plain
-rw-r--r--	xsymb0_12sub.bdf	23955	log plain
-rw-r--r--	xsymb0_12sup.bdf	23779	log plain
-rw-r--r--	xsymb0_14sub.bdf	25342	log plain
-rw-r--r--	xsymb0_14sup.bdf	25188	log plain
-rw-r--r--	xsymb1_12sub.bdf	21065	log plain
-rw-r--r--	xsymb1_12sup.bdf	20910	log plain
-rw-r--r--	xsymb1_14sub.bdf	22416	log plain
-rw-r--r--	xsymb1_14sup.bdf	22263	log plain