Fri, 15 Oct 2021 19:25:31 +0200 | wenzelm | discontinued Term.dest_abs / Logic.dest_all, which are officially superseded by Variable.dest_abs etc., but there are also Term.dest_abs_global to recover existing tools easily; | file | diff | annotate |
Thu, 14 Oct 2021 16:03:20 +0200 | wenzelm | clarified signature; | file | diff | annotate |
Sat, 11 Sep 2021 13:04:32 +0200 | wenzelm | more antiquotations; | file | diff | annotate |
Fri, 10 Sep 2021 14:59:19 +0200 | wenzelm | clarified signature: more scalable operations; | file | diff | annotate |
Fri, 14 Jun 2019 08:34:27 +0000 | haftmann | tuned file system structure | file | diff | annotate | base |