isabelle: src/Tools/8bit/doc/palette.isa@49c1b2b63aa0 (annotated)

4638 49c1b2b63aa0 re-arranged bindings for many function keys oheimb parents: 4164 diff changeset	1	� � ��
1826 2a2c0dbeb4ac Initial revision oheimb parents: diff changeset	2
4638 49c1b2b63aa0 re-arranged bindings for many function keys oheimb parents: 4164 diff changeset	3	� � � � ��
1826 2a2c0dbeb4ac Initial revision oheimb parents: diff changeset	4
4638 49c1b2b63aa0 re-arranged bindings for many function keys oheimb parents: 4164 diff changeset	5	� � � � � � � �
49c1b2b63aa0 re-arranged bindings for many function keys oheimb parents: 4164 diff changeset	6	� � � � � � � � �
49c1b2b63aa0 re-arranged bindings for many function keys oheimb parents: 4164 diff changeset	7	� � � � � '�' � � � �
49c1b2b63aa0 re-arranged bindings for many function keys oheimb parents: 4164 diff changeset	8
49c1b2b63aa0 re-arranged bindings for many function keys oheimb parents: 4164 diff changeset	9	� � � � � � � �
49c1b2b63aa0 re-arranged bindings for many function keys oheimb parents: 4164 diff changeset	10	� � � � � � �
1826 2a2c0dbeb4ac Initial revision oheimb parents: diff changeset	11
4638 49c1b2b63aa0 re-arranged bindings for many function keys oheimb parents: 4164 diff changeset	12	� � � ��
4164 171aacc64aa5 * empty log message * oheimb parents: 1826 diff changeset	13	� � � ��
1826 2a2c0dbeb4ac Initial revision oheimb parents: diff changeset	14
4638 49c1b2b63aa0 re-arranged bindings for many function keys oheimb parents: 4164 diff changeset	15	� � � � � � � � � � �
1826 2a2c0dbeb4ac Initial revision oheimb parents: diff changeset	16	� � � � � � � � � �
2a2c0dbeb4ac Initial revision oheimb parents: diff changeset	17
4164 171aacc64aa5 * empty log message * oheimb parents: 1826 diff changeset	18	� � � � � � � � �

author	oheimb
	Fri, 20 Feb 1998 16:02:21 +0100
changeset 4638	49c1b2b63aa0
parent 4164	171aacc64aa5
permissions	-rw-r--r--