Commit Graph

24 Commits (5d9c1ea0a0d13c80c53ebe21d5260a8f03ccd200)

Author SHA1 Message Date
Slava Pestov c95851e34f Bug fixes and cleanups 2008-06-11 02:58:38 -05:00
Slava Pestov 9dd5c9919f Mandatory stack effect annotations 2008-06-08 15:32:55 -05:00
Doug Coleman e486683d96 fix binsearch and thus math.primes 2008-04-28 18:09:13 -05:00
Slava Pestov aaf48cebf5 New utility word 2008-04-13 03:52:40 -05:00
Doug Coleman 1e01d73e61 fix usages of cond/case 2008-04-11 12:54:33 -05:00
Slava Pestov a30c60ea63 Fix UI breakage 2008-04-05 04:58:22 -05:00
Slava Pestov 5346e1899f Working on call-next-method, and identity-tuple 2008-04-02 21:27:49 -05:00
Slava Pestov c22af5c7a6 Rename 2apply to bi@ 2008-03-29 20:36:58 -05:00
Slava Pestov 59731ee24a Use delete-node instead of dlist-delete 2008-03-20 20:14:16 -05:00
Slava Pestov 84016a36c0 Regression fixes 2008-02-25 19:37:43 -06:00
Slava Pestov 438f00a6a5 UI fixes 2008-02-25 17:19:34 -06:00
Slava Pestov d19fd8e111 Made UI more responsive: if another thread invalidates a gadget, UI thread is woken up immediately 2008-02-25 06:31:52 -06:00
Slava Pestov b7ba2d77a2 Removed extra/timers, superceded by alarms 2008-02-21 19:14:50 -06:00
Slava Pestov c8360f5ae5 Rename curry* to with 2008-01-09 17:36:30 -05:00
Slava Pestov 555e2c9964 Fix activate-control 2007-11-21 03:21:26 -05:00
Slava Pestov 57893118e0 Clean up model-changed; no need for auxilliary tuples in editor and interactor 2007-11-16 03:01:45 -05:00
Slava Pestov d6cf56162f UI fixes 2007-11-16 01:54:13 -05:00
Slava Pestov cef837184b graft*/ungraft* refactoring 2007-11-16 01:19:13 -05:00
Slava Pestov eee42d4bd5 More control refactoring 2007-11-14 16:35:17 -05:00
Slava Pestov 9bb0c40dc8 control gadget refactoring 2007-11-13 18:51:10 -05:00
Slava Pestov 599f1c6087 Finish cleaning up erg's changes, remove queues 2007-11-05 11:01:11 -05:00
Slava Pestov dfeb154bb1 Change unfold word 2007-11-04 17:32:01 -05:00
Slava Pestov 1d8bd74d0f new unfold word 2007-10-16 04:15:16 -04:00
Slava Pestov a96457cecc Initial import 2007-09-20 18:09:08 -04:00