Commit Graph

5190 Commits (ec4aabcf316a927f71137af77e7080c519723e72)

Author SHA1 Message Date
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
Slava Pestov bd35994d3c Merge branch 'master' of git://factorforge.org/git/drford 2008-08-06 22:42:22 -05:00
Eduardo Cavazos 8aef8fda25 cfdg.models.spirales: Use new macros 2008-08-06 19:12:57 -05:00
Eduardo Cavazos 930ec70c75 Merge branch 'master' of git://factorcode.org/git/factor 2008-08-06 19:05:16 -05:00
Eduardo Cavazos b26aba48e3 cfdg.models.game1-turn6: Use new macros 2008-08-06 19:04:18 -05:00
Slava Pestov 90287744dc Merge branch 'master' of git://factorcode.org/git/factor 2008-08-06 17:51:45 -05:00