| Sun, 26 Jul 2015 17:24:54 +0200 | wenzelm | updated to infer_instantiate; | changeset | files |
| Sun, 26 Jul 2015 12:24:16 +0200 | wenzelm | added infer_instantiate'; | changeset | files |
| Sun, 26 Jul 2015 11:08:57 +0200 | wenzelm | more uniform exceptions, like cterm_instantiate; | changeset | files |
| Sat, 25 Jul 2015 23:41:53 +0200 | wenzelm | updated to infer_instantiate; | changeset | files |
| Sat, 25 Jul 2015 23:15:37 +0200 | wenzelm | more accurate maxidx; | changeset | files |
| Sat, 25 Jul 2015 21:54:09 +0200 | wenzelm | clarified error; | changeset | files |
| Sat, 25 Jul 2015 21:37:09 +0200 | wenzelm | added infer_instantiate, which is meant to supersede cterm_instantiate; | changeset | files |
| Fri, 24 Jul 2015 22:29:06 +0200 | wenzelm | eliminated alias; | changeset | files |
| Fri, 24 Jul 2015 22:20:22 +0200 | wenzelm | proper context; | changeset | files |
| Fri, 24 Jul 2015 22:19:36 +0200 | wenzelm | unused; | changeset | files |
| Fri, 24 Jul 2015 22:16:39 +0200 | wenzelm | proper context; | changeset | files |
| Thu, 23 Jul 2015 22:13:42 +0200 | wenzelm | more symbols by default, without xsymbols mode; | changeset | files |