snippet to be sourced in user settings file in order to initialize components for a repository revision; the initialization is »liberal« since there is no obvious solution yet for components whose distribution is restricted

more standard filename for common components

updated crontab on macbroy27 and macbroy2;

use macbroy27 instead of macbroy28, which is broken for several weeks already;

reintroduced "t@" encoding, this time sound

compile

tuning

renamed experimental option

finished implementation of DFG type class output

more work on DFG type classes

more work on class support

generate type classes for polymorphic DFG format (SPASS)

avoid detour through terms

cleanly distinguish between type declarations and symbol declarations

removed old hack now that types and terms are cleanly distinguished in the data structure

added sorts to datastructure

robustness -- TFF1 does not support type classes

implement polymorphic DFG output, without type classes for now

added type arguments to "ATerm" constructor -- but don't use them yet

started adding polymophic SPASS output

tuning

removed support for unsorted DFG, now that SPASS 3.7 is no longer supported

merged, resolving conflict with 87c831e30f0a;

eliminated obsolete swap_prems_rl -- rotate_prems usually does the job more directly;

prefer direct rotate_prems over old-style COMP;

tuned proofs -- prefer direct "rotated" instead of old-style COMP;

ignore morphism more explicitly; tuned headers;

some special code equations for Id with class constraint enum after adding the set comprehension simproc to the code preprocessing

adding set comprehension simproc to code generation's preprocessing to generate code for some set comprehensions; noting further steps with FIXME

removed obsolete Admin material, which was for E 1.0-004 from 2009;