isabelle: lib/fonts/bdf-code.txt@8100f00e8950 (annotated)

2298 df82271be07b isabelle symbol fonts; wenzelm parents: diff changeset	1	BBX line
df82271be07b isabelle symbol fonts; wenzelm parents: diff changeset	2
df82271be07b isabelle symbol fonts; wenzelm parents: diff changeset	3	BBX 5 13 2 -2
df82271be07b isabelle symbol fonts; wenzelm parents: diff changeset	4
df82271be07b isabelle symbol fonts; wenzelm parents: diff changeset	5	means character
df82271be07b isabelle symbol fonts; wenzelm parents: diff changeset	6	extends 5 pixels to the right
df82271be07b isabelle symbol fonts; wenzelm parents: diff changeset	7	is 13 Pixels high
df82271be07b isabelle symbol fonts; wenzelm parents: diff changeset	8	left margin is 2 pixels
df82271be07b isabelle symbol fonts; wenzelm parents: diff changeset	9	descend from base line is 2 pixels
df82271be07b isabelle symbol fonts; wenzelm parents: diff changeset	10
df82271be07b isabelle symbol fonts; wenzelm parents: diff changeset	11
df82271be07b isabelle symbol fonts; wenzelm parents: diff changeset	12	hex-bin code table for the hacker
df82271be07b isabelle symbol fonts; wenzelm parents: diff changeset	13
df82271be07b isabelle symbol fonts; wenzelm parents: diff changeset	14	0 0 0000
df82271be07b isabelle symbol fonts; wenzelm parents: diff changeset	15	1 1 0001
df82271be07b isabelle symbol fonts; wenzelm parents: diff changeset	16	2 2 0010
df82271be07b isabelle symbol fonts; wenzelm parents: diff changeset	17	3 3 0011
df82271be07b isabelle symbol fonts; wenzelm parents: diff changeset	18	4 4 0100
df82271be07b isabelle symbol fonts; wenzelm parents: diff changeset	19	5 5 0101
df82271be07b isabelle symbol fonts; wenzelm parents: diff changeset	20	6 6 0110
df82271be07b isabelle symbol fonts; wenzelm parents: diff changeset	21	7 7 0111
df82271be07b isabelle symbol fonts; wenzelm parents: diff changeset	22	8 8 1000
df82271be07b isabelle symbol fonts; wenzelm parents: diff changeset	23	9 9 1001
df82271be07b isabelle symbol fonts; wenzelm parents: diff changeset	24	10 a 1010
df82271be07b isabelle symbol fonts; wenzelm parents: diff changeset	25	11 b 1011
df82271be07b isabelle symbol fonts; wenzelm parents: diff changeset	26	12 c 1100
df82271be07b isabelle symbol fonts; wenzelm parents: diff changeset	27	13 d 1101
df82271be07b isabelle symbol fonts; wenzelm parents: diff changeset	28	14 e 1110
df82271be07b isabelle symbol fonts; wenzelm parents: diff changeset	29	15 f 1111

author	wenzelm
	Tue, 10 Dec 1996 14:16:11 +0100
changeset 2369	8100f00e8950
parent 2298	df82271be07b
permissions	-rw-r--r--