Commit Graph

5195 Commits (bd8dcd4e0a0f5bcc78cd405ee0d3460ee154e231)

Author SHA1 Message Date
Doug Coleman b333583da4 fix usings 2008-08-14 23:54:57 -05:00
Doug Coleman 5cc5d347ae moved serial to io.serial 2008-08-14 23:44:39 -05:00
Doug Coleman b26c526b90 Merge branch 'master' of git://factorforge.org/git/william42 2008-08-14 00:25:20 -05:00
William Schlieper 7a701c9501 irc.ui: Fixed bug in constructor 2008-08-14 01:24:56 -04:00
Doug Coleman a84404bc0d add some more utility words like when-empty 2008-08-14 00:21:10 -05:00
Doug Coleman ec4aabcf31 Merge branch 'master' of git://factorforge.org/git/william42 2008-08-13 23:52:52 -05:00
William Schlieper 2186999fee irc.ui: Fixed userlist>> bug 2008-08-14 00:52:29 -04:00
Doug Coleman 867459e4c7 Merge branch 'master' of git://factorforge.org/git/william42 2008-08-13 23:40:37 -05:00
Doug Coleman d50afc2a35 remove unfinished code for now 2008-08-13 23:13:13 -05:00
Doug Coleman 805cb650bd add find-hrefs word 2008-08-13 23:09:43 -05:00
Doug Coleman f98729eb91 more bsd flags 2008-08-13 22:04:12 -05:00
Doug Coleman c5e3bdf668 add constants for bsd serial 2008-08-13 21:51:25 -05:00
Doug Coleman e033d2e1b7 Merge branch 'master' of git://factorcode.org/git/factor 2008-08-13 21:33:27 -05:00
William Schlieper 83574cb5ee irc.ui: Removed userlist slot from irc-tab 2008-08-13 20:58:05 -04:00
William Schlieper ca27c897d0 irc.ui: Removed reference to irc.messages.private 2008-08-13 20:52:30 -04:00
William Schlieper 176fb3cebd Merge branch 'master' of git://tiodante.com/git/factor 2008-08-13 20:50:34 -04:00
sheeple 7afa9959f8 Merge branch 'master' of git://factorcode.org/git/factor 2008-08-13 15:19:06 -05:00
Slava Pestov bb76f2f617 Fix combinatorics tests 2008-08-13 18:57:57 -05:00
sheeple 21fb13f450 initial chicken of serial 2008-08-13 15:18:50 -05:00
Slava Pestov f683c63da1 Fix code duplication 2008-08-13 14:20:09 -05:00
Doug Coleman 5263cc371c Merge branch 'master' of git://factorforge.org/git/william42 2008-08-13 00:10:50 -05:00
William Schlieper 8b3ce1ee84 irc:Added whois command, fixed bug in parting 2008-08-13 01:00:26 -04:00
Doug Coleman e917fbb1aa Merge branch 'master' of git://factorforge.org/git/drford 2008-08-12 11:18:42 -05:00
Rex Ford 6f767add2c documentation for scientists 2008-08-12 12:00:54 -04:00
Rex Ford 359bff5f15 Derivatives without dynamics OR locals 2008-08-12 11:24:00 -04:00
Rex Ford 2271aae7f0 compatible with demos menu 2008-08-12 02:42:23 -04:00
Bruno Deferrari 759a939ecc irc.client: Refactorings 2008-08-12 03:25:13 -03:00
Rex Ford bd168d06f2 now with progress-peek 2008-08-12 00:28:22 -04:00
Slava Pestov 58a40025f4 Merge branch 'master' of git://factorforge.org/git/william42 2008-08-11 01:40:35 -05:00
William Schlieper d8aaa33a84 Merge branch 'master' of git://factorcode.org/git/factor 2008-08-11 01:42:10 -04:00
William Schlieper 1ef85fe1bc irc.ui: Various added features 2008-08-11 01:22:26 -04:00
Rex Ford 6060b12ccb minor additions 2008-08-10 18:22:32 -05:00
Rex Ford 6df077805d minor fixes 2008-08-10 18:20:14 -05:00
Rex Ford a44097af93 combinators should inline 2008-08-10 16:49:40 -05:00
Rex Ford 6ab0f6b09c No one else used middle name 2008-08-10 16:48:54 -05:00
Rex Ford 9d0acc555d peer review by myself 2008-08-10 16:47:52 -05:00
Rex Ford aee8dbdba4 peer review by myself 2008-08-10 16:45:13 -05:00
Rex Ford 8785b24e04 Now with arbitrary accuracy 2008-08-10 16:44:17 -05:00
William Schlieper d46b5387d5 backtrack: Added cut-amb 2008-08-09 22:33:58 -04:00
William Schlieper 8c7cca072f Merge branch 'master' of git://tiodante.com/git/factor 2008-08-07 23:53:16 -04:00
Eduardo Cavazos 7402cd2ab7 Move 'ui' to basis 2008-08-07 21:12:50 -05:00
Bruno Deferrari cd77f8ba50 irc.client: Handle nick changes in participant lists and forward to channels with the participant. Forward mode messages to channels. 2008-08-07 23:02:29 -03:00
William Schlieper 815ada9292 Merge branch 'master' of git://tiodante.com/git/factor 2008-08-07 21:21:41 -04:00
Bruno Deferrari 1603be0cec irc.client: Improve testing, better handling of participant list changes notifications, fix quit notification. 2008-08-07 22:12:30 -03:00
Eduardo Cavazos 708e24fcb0 ui.gadgets.buttons: Minor '<radio-buttons>' update 2008-08-07 17:16:09 -05:00
Eduardo Cavazos d311893363 ui.gadgets.theme: Use 'gray' color objects 2008-08-07 17:10:17 -05:00
Eduardo Cavazos f891a057af Move colors to basis 2008-08-07 15:46:11 -05:00
Eduardo Cavazos 14b83dc219 cfdg.models.rules08: Use new macros 2008-08-07 15:45:36 -05:00
Slava Pestov 44bd16ea4c Merge branch 'master' of git://factorforge.org/git/drford 2008-08-07 06:28:29 -05:00
Rex Ford f5ea3ccbbe minor fixes 2008-08-07 01:58:50 -05:00