| Sun, 21 Jan 2007 16:43:42 +0100 | wenzelm | use_text: added name argument; | file | diff | annotate |
| Thu, 21 Sep 2006 19:04:49 +0200 | wenzelm | tuned; | file | diff | annotate |
| Thu, 27 Apr 2006 15:06:35 +0200 | wenzelm | tuned basic list operators (flat, maps, map_filter); | file | diff | annotate |
| Sat, 08 Oct 2005 20:15:34 +0200 | wenzelm | minor tweaks for Poplog/PML; | file | diff | annotate |
| Thu, 14 Jul 2005 19:28:24 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 12 Jul 2005 21:49:38 +0200 | obua | - use TableFun instead of homebrew binary tree in am_interpreter.ML | file | diff | annotate |
| Tue, 12 Jul 2005 19:29:52 +0200 | obua | - introduce Pure/Tools directory | file | diff | annotate |