-
Jean-Christophe Filliâtre authored
programs: more efficient access to pre-defined symbols; typing is now state-less (to be re-entrant, if necessary)
afd48213
programs: more efficient access to pre-defined symbols; typing is now state-less (to be re-entrant, if necessary)