Sat, 26 Apr 2014 21:49:31 +0200 | wenzelm | PIDE support for find_consts; | changeset | files |
Sat, 26 Apr 2014 21:16:50 +0200 | wenzelm | some rearrangements to support multiple find operations; | changeset | files |
Sat, 26 Apr 2014 18:06:21 +0200 | wenzelm | tuned; | changeset | files |