| Thu, 04 Aug 2022 17:08:35 +0200 | wenzelm | unused; | changeset | files |
| Thu, 04 Aug 2022 14:48:05 +0200 | wenzelm | retrieve information about used files; | changeset | files |
| Thu, 04 Aug 2022 13:52:43 +0200 | wenzelm | tuned signature -- more robust; | changeset | files |
| Thu, 04 Aug 2022 13:49:57 +0200 | wenzelm | tuned signature; | changeset | files |
| Thu, 04 Aug 2022 13:44:21 +0200 | wenzelm | clarified signature: Export.Provider knows its (accidental) theory_names; | changeset | files |
| Thu, 04 Aug 2022 12:43:33 +0200 | wenzelm | clarified signature; | changeset | files |
| Thu, 04 Aug 2022 12:14:56 +0200 | wenzelm | tuned, following hints by IntelliJ IDEA; | changeset | files |
| Thu, 04 Aug 2022 12:00:58 +0200 | wenzelm | clarified signature: proper session_name for Sessions.Base (like Sessions.Info); | changeset | files |