-
Jean-Christophe Filliâtre authored
A simple, assembly-like syntax for strategies is introduced. The code for a strategy is now a single string, in the field 'code' of a 'strategy' entry of a configuration file. See share/strategies.conf for examples.
a94b5657