| Thu, 20 Apr 2023 11:57:34 +0200 | wenzelm | clarified signature: explicitly distinguish theory_base_name vs. theory_long_name; | file | diff | annotate |
| Thu, 21 Jun 2018 14:49:21 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Mon, 17 Apr 2017 15:08:21 +0200 | wenzelm | more uniform thy_deps (like class_deps), see also c48d536231fe; | file | diff | annotate |
| Mon, 04 Apr 2016 17:02:34 +0200 | wenzelm | clarified bootstrap -- more uniform use of ML files; | file | diff | annotate |
| Sun, 16 Aug 2015 18:19:30 +0200 | wenzelm | prefer theory_id operations; | file | diff | annotate |
| Thu, 16 Apr 2015 17:18:48 +0200 | wenzelm | formal Theory.check, with markup and completion; | file | diff | annotate |
| Thu, 16 Apr 2015 15:22:44 +0200 | wenzelm | discontinued pointless warnings: commands are only defined inside a theory context; | file | diff | annotate |
| Thu, 16 Apr 2015 13:48:10 +0200 | wenzelm | clarified thy_deps; | file | diff | annotate |