Wed, 11 Mar 2009 11:40:58 +0100 | nipkow | Docs | changeset | files |
Wed, 11 Mar 2009 10:58:18 +0100 | hoelzl | Updated paths in Decision_Procs comments and NEWS | changeset | files |
Wed, 11 Mar 2009 16:36:27 +0100 | wenzelm | eliminated qualified_names naming policy: qualified names are only permitted via explicit Binding.qualify/qualified_name etc. (NB: user-level outer syntax should never do this); | changeset | files |