isabelle: src/Tools/8bit/config/README@4bf18b611a75 (annotated)

1826 2a2c0dbeb4ac Initial revision oheimb parents: diff changeset	1	Change configuration of translations and keyboard mappings:
2a2c0dbeb4ac Initial revision oheimb parents: diff changeset	2	===========================================================
2a2c0dbeb4ac Initial revision oheimb parents: diff changeset	3
2a2c0dbeb4ac Initial revision oheimb parents: diff changeset	4	If you change one of the the configuration files
2a2c0dbeb4ac Initial revision oheimb parents: diff changeset	5
2a2c0dbeb4ac Initial revision oheimb parents: diff changeset	6	key-table.inp
2a2c0dbeb4ac Initial revision oheimb parents: diff changeset	7	conv-tables.inp
2a2c0dbeb4ac Initial revision oheimb parents: diff changeset	8
2a2c0dbeb4ac Initial revision oheimb parents: diff changeset	9	the Makefile updates all the files that depend on the configuration files.
2a2c0dbeb4ac Initial revision oheimb parents: diff changeset	10	See the Makefile for the specific dependencies.