Fri, 04 Oct 2019 15:30:52 +0200 | wenzelm | Term_XML.Encode/Decode.term uses Const "typargs"; | changeset | files |
Wed, 02 Oct 2019 22:01:04 +0200 | wenzelm | prefer atomic edits -- potentially more robust; | changeset | files |
Wed, 02 Oct 2019 21:27:51 +0200 | wenzelm | clarified signature -- potentially more robust; | changeset | files |