-
Guillaume Melquiond authored
Note: Currently, only the set of real theories has been fully converted to the new script format. So it is the only one enabled. The other ones would not survive the process.
c7fc192e
Note: Currently, only the set of real theories has been fully converted to the new script format. So it is the only one enabled. The other ones would not survive the process.