| Commit | Date | |
|---|---|---|
|
[r975]
by
kostis
Changes in the general unification routine to speed up unification; |
1999-07-04 10:39:19 | Tree |
| 1999-07-04 06:18:24 | Tree | |
| 1999-07-04 06:17:34 | Tree | |
| 1999-07-02 22:52:50 | Tree | |
| 1999-07-02 20:16:23 | Tree | |
| 1999-07-02 08:10:29 | Tree | |
| 1999-07-02 08:09:47 | Tree | |
| 1999-07-02 08:09:16 | Tree | |
|
[r967]
by
kifer
Started writing Flora debugger. |
1999-07-02 08:08:03 | Tree |
|
[r966]
by
kifer
made hide_this_hide, hide_this_show, show_this_hide user configurable. |
1999-07-02 08:06:30 | Tree |