isabelle: src/Tools/8bit/fonts/bdf-code.txt@2d92ab19747b (annotated)

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

author	paulson
	Wed, 14 Feb 2001 13:26:46 +0100
changeset 11119	2d92ab19747b
parent 1826	2a2c0dbeb4ac
permissions	-rw-r--r--