% $MOBALHOME/patches/README

This directory may contain patches which are automatically
loaded on start-up. (see start.pl)

The directory may contain patches of different releases, but the
procedure will load only patches of the release in use. There may be
different patch files for one release.  The patches are grouped in
levels. The procedure will load only those patch files of the highest
level. For example, if there are ten patch files of level 1 (with
predicate re-definitions fixing small bugs in the inference engine)
and one patch file of level 2 (one containing the whole module cie and
one with a predicate re-definition of the hci), the procedure will
only load the two patch files of level 2 (assuming that they contain

How to write patch files:

Patch files are qof-files created by the save_predicates or
save_modules command. They must be located in the directory
'$MOBALHOME/patches'.  The easiest way is to load start.pl
and call
   write_patch([Module:Proc/Arity,Module:Proc/Arity,...])
which automatically generates the next higher patch at the
current level and queries for descriptions of each patched procedure.
If you want to start a new level "Level", use
   write_first_patch([Module:Proc/Arity,Module:Proc/Arity,...],Level)

When manually creating patch files:

Patch file naming convention: 
Patch files must be namesd in the following way
     rel<Release-Number>-patch-<Patch-Level>-<Patch-Number>.patch

Patch-Level and Patch-Number must both be two digits!

e.g. the file name 'rel2.3-patch-02-01.patch' indicates that it contains
the first patch of the patch level 2 of the Mobal release 2.3 

The description file for a patch is named
     rel<Release-Number>-patch-<Patch-Level>-<Patch-Number>.README

