| Rev | Time | Changes | Operations |
|---|
| Log |
|---|
| 125 | 2012-06-27 10:41:50 | +1 -217 line(s) | [View this version, source] [Diff to previous] |
| Rewrite |
| 124 | 2010-09-30 04:04:09 | +0 -4 line(s) | [View this version, source] [Diff to current|previous] |
| Unspamming the site |
| 123 | 2010-09-29 08:26:01 | +3 -0 line(s) | [View this version, source] [Diff to current|previous] |
| edit |
| 122 | 2010-08-21 19:28:03 | +1 -2 line(s) | [View this version, source] [Diff to current|previous] |
| spam-revert (jyaan) |
| 121 | 2010-08-13 20:14:03 | +1 -0 line(s) | [View this version, source] [Diff to current|previous] |
| edit |
| 120 | 2010-08-06 05:06:41 | +1 -1 line(s) | [View this version, source] [Diff to current|previous] |
| edit |
| 119 | 2006-10-01 15:29:11 | +33 -33 line(s) | [View this version, source] [Diff to current|previous] |
| Changed order of paragraphs (r2q2) |
| 118 | 2006-10-01 15:21:50 | +2 -2 line(s) | [View this version, source] [Diff to current|previous] |
| Minor mistakes (r2q2) |
| 117 | 2006-10-01 15:20:59 | +2 -159 line(s) | [View this version, source] [Diff to current|previous] |
| Minor mistakes (r2q2) |
| 116 | 2006-09-25 03:18:27 | +1 -1 line(s) | [View this version, source] [Diff to current|previous] |
| Removed misnamed define (r2q2) |
| 115 | 2006-09-22 02:24:09 | +1 -2 line(s) | [View this version, source] [Diff to current|previous] |
| Added set-ec (r2q2) |
| 114 | 2006-09-17 02:57:48 | +1 -1 line(s) | [View this version, source] [Diff to current|previous] |
| Minor edits (r2q2) |
| 113 | 2006-09-14 03:15:25 | +57 -59 line(s) | [View this version, source] [Diff to current|previous] |
| Changed structure. Fixed mistakes. Changed lset to set. (r2q2) |
| 112 | 2006-09-05 02:22:11 | +1 -1 line(s) | [View this version, source] [Diff to current|previous] |
| Removed nonsensical '' (r2q2) |
| 111 | 2006-09-05 02:18:09 | +1 -1 line(s) | [View this version, source] [Diff to current|previous] |
| Reversion confusion (r2q2) |
| 110 | 2006-09-05 02:17:44 | +4 -4 line(s) | [View this version, source] [Diff to current|previous] |
| Minor edits (r2q2) |
| 109 | 2006-09-05 01:28:20 | +1 -1 line(s) | [View this version, source] [Diff to current|previous] |
| Paren mismatch (r2q2) |
| 108 | 2006-09-05 01:27:16 | +13 -26 line(s) | [View this version, source] [Diff to current|previous] |
| Minor edits (r2q2) |
| 107 | 2006-09-02 16:38:29 | +3 -1 line(s) | [View this version, source] [Diff to current|previous] |
| Added link (r2q2) |
| 106 | 2006-09-02 15:35:34 | +1 -1 line(s) | [View this version, source] [Diff to current|previous] |
| Error in link (r2q2) |
| 105 | 2006-09-02 15:35:11 | +49 -14 line(s) | [View this version, source] [Diff to current|previous] |
| Added amb (r2q2) |
| 104 | 2006-09-02 05:10:55 | +66 -25 line(s) | [View this version, source] [Diff to current|previous] |
| Bibliography, cosmetic changes (r2q2) |
| 103 | 2006-08-30 04:16:08 | +11 -7 line(s) | [View this version, source] [Diff to current|previous] |
| Improved structure (r2q2) |
| 102 | 2006-08-30 04:05:35 | +41 -27 line(s) | [View this version, source] [Diff to current|previous] |
| Added multisets. Improved structure of english (r2q2) |
| 101 | 2006-08-29 14:11:49 | +3 -3 line(s) | [View this version, source] [Diff to current|previous] |
| Grammatical errors (r2q2) |
| 100 | 2006-08-29 14:02:36 | +3 -3 line(s) | [View this version, source] [Diff to current|previous] |
| Added abstract (r2q2) |
| 99 | 2006-08-29 03:22:39 | +1 -1 line(s) | [View this version, source] [Diff to current|previous] |
| Corrected formatting error (r2q2) |
| 98 | 2006-08-29 01:06:18 | +133 -4 line(s) | [View this version, source] [Diff to current|previous] |
| Added modus potens , implementation (r2q2) |
| 97 | 2006-08-28 21:19:20 | +7 -1 line(s) | [View this version, source] [Diff to current|previous] |
| More minor mistakes (r2q2) |
| 96 | 2006-08-28 21:18:20 | +2 -2 line(s) | [View this version, source] [Diff to current|previous] |
| Mistake in header (r2q2) |
| 95 | 2006-08-28 20:50:15 | +23 -19 line(s) | [View this version, source] [Diff to current|previous] |
| Major editing / mechanics (r2q2) |
| 94 | 2006-08-28 18:54:05 | +6 -6 line(s) | [View this version, source] [Diff to current|previous] |
| Added linebreaks (r2q2) |
| 93 | 2006-08-26 15:47:03 | +7 -7 line(s) | [View this version, source] [Diff to current|previous] |
| Spelling and grammar issues (r2q2) |
| 92 | 2006-08-26 15:43:33 | +43 -40 line(s) | [View this version, source] [Diff to current|previous] |
| Fixed formatting of BNF (r2q2) |
| 91 | 2006-08-26 15:39:54 | +1 -0 line(s) | [View this version, source] [Diff to current|previous] |
| Fixing formatting of BNF (r2q2) |
| 90 | 2006-08-26 15:38:06 | +57 -13 line(s) | [View this version, source] [Diff to current|previous] |
| Started BNF specification. Other cosmetic edits (r2q2) |
| 89 | 2006-08-25 23:08:47 | +1 -1 line(s) | [View this version, source] [Diff to current|previous] |
| Minor grammatical error (r2q2) |
| 88 | 2006-08-25 23:07:59 | +1 -1 line(s) | [View this version, source] [Diff to current|previous] |
| More grammatical errors corrected (r2q2) |
| 87 | 2006-08-25 23:04:50 | +1 -1 line(s) | [View this version, source] [Diff to current|previous] |
| language error (r2q2) |
| 86 | 2006-08-25 23:04:27 | +1 -1 line(s) | [View this version, source] [Diff to current|previous] |
| Language error (r2q2) |
| 85 | 2006-08-25 22:51:45 | +0 -1 line(s) | [View this version, source] [Diff to current|previous] |
| Removed stray text (r2q2) |
| 84 | 2006-08-25 22:50:54 | +3 -3 line(s) | [View this version, source] [Diff to current|previous] |
| Added example numbering system. (r2q2) |
| 83 | 2006-08-25 22:48:17 | +3 -1 line(s) | [View this version, source] [Diff to current|previous] |
| Added example numbering system. (r2q2) |
| 82 | 2006-08-25 22:40:36 | +1 -4 line(s) | [View this version, source] [Diff to current|previous] |
| Moved personal comments to talk page (r2q2) |
| 81 | 2006-08-25 22:38:33 | +10 -7 line(s) | [View this version, source] [Diff to current|previous] |
| Added more content (r2q2) |
| 80 | 2006-08-25 22:17:59 | +25 -23 line(s) | [View this version, source] [Diff to current|previous] |
| Edit reversion (r2q2) |
| 79 | 2006-08-25 00:55:29 | +23 -26 line(s) | [View this version, source] [Diff to current|previous] |
| Added last edited (r2q2) |
| 78 | 2006-08-25 00:54:46 | +14 -12 line(s) | [View this version, source] [Diff to current|previous] |
| Minor edits (r2q2) |
| 77 | 2006-08-25 00:50:19 | +13 -10 line(s) | [View this version, source] [Diff to current|previous] |
| Missed parenthesis , mistakes corrected (r2q2) |
| 76 | 2006-08-25 00:39:17 | +10 -11 line(s) | [View this version, source] [Diff to current|previous] |
| Code corrections. Added content. (r2q2) |
| 75 | 2006-08-23 12:56:38 | +1 -1 line(s) | [View this version, source] [Diff to current|previous] |
| More code mistakes (r2q2) |
| 74 | 2006-08-23 12:55:45 | +3 -3 line(s) | [View this version, source] [Diff to current|previous] |
| Code mistakes (r2q2) |
| 73 | 2006-08-23 12:54:51 | +48 -28 line(s) | [View this version, source] [Diff to current|previous] |
| Added more operators. Edited text (r2q2) |
| 72 | 2006-08-22 12:59:44 | +1 -0 line(s) | [View this version, source] [Diff to current|previous] |
| Added reason statement (r2q2) |
| 71 | 2006-08-22 12:55:29 | +14 -1 line(s) | [View this version, source] [Diff to current|previous] |
| Added commonly used sets. Modified example page (r2q2) |
| 70 | 2006-08-22 02:01:16 | +5 -4 line(s) | [View this version, source] [Diff to current|previous] |
| More re-factoring (r2q2) |
| 69 | 2006-08-22 01:57:17 | +4 -3 line(s) | [View this version, source] [Diff to current|previous] |
| Working on old lset example added sons (R2q2) |
| 68 | 2006-08-22 01:53:17 | +1 -1 line(s) | [View this version, source] [Diff to current|previous] |
| Added runtime sentence (R2q2) |
| 67 | 2006-08-22 01:38:00 | +4 -1 line(s) | [View this version, source] [Diff to current|previous] |
| Put purpose on a separate section (r2q2) |
| 66 | 2006-08-22 01:37:06 | +4 -1 line(s) | [View this version, source] [Diff to current|previous] |
| Added purpose and added information of the generate expression (r2q2) |
| 65 | 2006-08-21 23:14:56 | +43 -18 line(s) | [View this version, source] [Diff to current|previous] |
| Added proper introduction from blog posting. (r2q2) |
| 64 | 2006-08-21 21:55:12 | +3 -3 line(s) | [View this version, source] [Diff to current|previous] |
| Added more information and operators. (r2q2) |
| 63 | 2006-08-21 21:26:18 | +1 -1 line(s) | [View this version, source] [Diff to current|previous] |
| Added more terms to correctly define the page (r2q2) |
| 62 | 2006-08-21 21:18:14 | +7 -6 line(s) | [View this version, source] [Diff to current|previous] |
| Added first-set and sar (r2q2) |
| 61 | 2006-08-21 20:32:54 | +2 -2 line(s) | [View this version, source] [Diff to current|previous] |
| Minor Errors (r2q2) |
| 60 | 2006-08-21 20:32:33 | +3 -1 line(s) | [View this version, source] [Diff to current|previous] |
| Modified Title to fit my ideas. Added logical conditionals (r2q2 |
| 59 | 2006-08-21 20:14:41 | +3 -0 line(s) | [View this version, source] [Diff to current|previous] |
| More Minor edits (r2q2) |
| 58 | 2006-08-21 20:10:32 | +5 -4 line(s) | [View this version, source] [Diff to current|previous] |
| Added name to page minor edits (R2q2) |
| 57 | 2006-07-23 13:43:53 | +2 -2 line(s) | [View this version, source] [Diff to current|previous] |
| Didn't close scheme code correctly (r2q2) |
| 56 | 2006-07-15 21:13:29 | +1 -1 line(s) | [View this version, source] [Diff to current|previous] |
| Changed scheme |
| 55 | 2006-07-15 21:12:51 | +1 -1 line(s) | [View this version, source] [Diff to current|previous] |
| Even more errors (r2q2) |
| 54 | 2006-07-15 21:12:34 | +2 -2 line(s) | [View this version, source] [Diff to current|previous] |
| More errors (r2q2) |
| 53 | 2006-07-12 18:06:34 | +3 -3 line(s) | [View this version, source] [Diff to current|previous] |
| Error |
| 52 | 2006-07-12 18:04:01 | +18 -2 line(s) | [View this version, source] [Diff to current|previous] |
| Added content (r2q2) |
| 51 | 2006-06-14 01:38:56 | +2 -32 line(s) | [View this version, source] [Diff to current|previous] |
| Being refactored (r2q2) |
| 50 | 2006-05-27 10:54:01 | +1 -0 line(s) | [View this version, source] [Diff to current|previous] |
| Added new reformulation (r2q2) |
| 49 | 2006-02-05 18:43:23 | +0 -4 line(s) | [View this version, source] [Diff to current|previous] |
| Spamforce (r2q2) |
| 48 | 2006-02-05 16:47:14 | +4 -0 line(s) | [View this version, source] [Diff to current|previous] |
| d |
| 47 | 2005-11-03 01:28:06 | +2 -0 line(s) | [View this version, source] [Diff to current|previous] |
| Added generate scheme (r2q2) |
| 46 | 2005-10-29 13:17:37 | +1 -1 line(s) | [View this version, source] [Diff to current|previous] |
| Corrected mistake (r2q2) |
| 45 | 2005-10-29 13:17:09 | +2 -2 line(s) | [View this version, source] [Diff to current|previous] |
| Corrected code (r2q2) |
| 44 | 2005-10-23 20:38:19 | +3 -1 line(s) | [View this version, source] [Diff to current|previous] |
| Added generate mu ;minor text changes (r2q2) |
| 43 | 2005-10-23 20:29:20 | +1 -0 line(s) | [View this version, source] [Diff to current|previous] |
| Added generate-mu(r2q2) |
| 42 | 2005-10-23 18:29:26 | +6 -2 line(s) | [View this version, source] [Diff to current|previous] |
| Added special forms summary (r2q2) |
| 41 | 2005-10-22 21:24:24 | +1 -1 line(s) | [View this version, source] [Diff to current|previous] |
| Changed title (r2q2) |
| 40 | 2005-10-21 04:05:03 | +3 -1 line(s) | [View this version, source] [Diff to current|previous] |
| Added ILC link (r2q2) |
| 39 | 2005-10-20 00:09:09 | +10 -7 line(s) | [View this version, source] [Diff to current|previous] |
| Changed example to reflect clearer syntax r2q2) |
| 38 | 2005-10-19 12:13:28 | +1 -1 line(s) | [View this version, source] [Diff to current|previous] |
| Added define-binary-operation (r2q2) |
| 37 | 2005-10-19 12:10:42 | +1 -1 line(s) | [View this version, source] [Diff to current|previous] |
| Minor edit on scheme code (r2q2) |
| 36 | 2005-10-19 12:00:45 | +3 -2 line(s) | [View this version, source] [Diff to current|previous] |
| Ps and PDF added Changed title (r2q2) |
| 35 | 2005-10-19 10:53:47 | +1 -1 line(s) | [View this version, source] [Diff to current|previous] |
| Added ps (r2q2) |
| 34 | 2005-10-19 00:11:40 | +2 -8 line(s) | [View this version, source] [Diff to current|previous] |
| Reformatted (r2q2) |
| 33 | 2005-10-18 23:58:27 | +5 -4 line(s) | [View this version, source] [Diff to current|previous] |
| Made example make sence (R2q2) |
| 32 | 2005-10-18 23:52:01 | +8 -6 line(s) | [View this version, source] [Diff to current|previous] |
| Changed example (r2q2) |
| 31 | 2005-10-18 23:40:33 | +3 -36 line(s) | [View this version, source] [Diff to current|previous] |
| Abstracted long text into PDF form (r2q2) |
| 30 | 2005-10-18 15:38:04 | +4 -1 line(s) | [View this version, source] [Diff to current|previous] |
| Minor additions (r2q2) |
| 29 | 2005-10-18 14:18:46 | +1 -4 line(s) | [View this version, source] [Diff to current|previous] |
| Elimination of pointless text (r2q2) |
| 28 | 2005-10-18 14:15:03 | +6 -2 line(s) | [View this version, source] [Diff to current|previous] |
| Added refrences (r2q2) |
| 27 | 2005-10-18 13:10:52 | +0 -3 line(s) | [View this version, source] [Diff to current|previous] |
| Extracted comments and moved to beyond lisp talk (r2q2) |
| 26 | 2005-10-18 13:07:15 | +3 -3 line(s) | [View this version, source] [Diff to current|previous] |
| Added blurb and closure thing (R2q2) |
| 25 | 2005-10-18 12:58:32 | +1 -1 line(s) | [View this version, source] [Diff to current|previous] |
| Added group theory into words. (r2q2) |
| 24 | 2005-10-18 12:42:02 | +21 -16 line(s) | [View this version, source] [Diff to current|previous] |
| Edited structure. Formatting mistake(r2q2) |
| 23 | 2005-10-18 12:29:39 | +8 -4 line(s) | [View this version, source] [Diff to current|previous] |
| Added information about group theory(r2q2) |
| 22 | 2005-10-18 12:16:56 | +3 -0 line(s) | [View this version, source] [Diff to current|previous] |
| Added rationale paragraph (r2q2) |
| 21 | 2005-10-18 12:07:33 | +11 -7 line(s) | [View this version, source] [Diff to current|previous] |
| More concrete definitions(R2q2) |
| 20 | 2005-10-18 11:06:55 | +11 -4 line(s) | [View this version, source] [Diff to current|previous] |
| Added line breaks and formalized what the Mu Operator should do also added memoization comment (r2q2) |
| 19 | 2005-10-17 23:36:31 | +5 -5 line(s) | [View this version, source] [Diff to current|previous] |
| Mistake in code (r2q2) |
| 18 | 2005-10-17 20:26:19 | +0 -1 line(s) | [View this version, source] [Diff to current|previous] |
| Formatting mistake (r2q2) |
| 17 | 2005-10-17 20:25:56 | +8 -5 line(s) | [View this version, source] [Diff to current|previous] |
| Attempted to improve formatting (R2q2) |
| 16 | 2005-10-17 20:04:59 | +9 -7 line(s) | [View this version, source] [Diff to current|previous] |
| Added mu operator. Tried to fix formatting and grammar mistakes (r2q2) |
| 15 | 2005-10-17 19:03:20 | +9 -4 line(s) | [View this version, source] [Diff to current|previous] |
| Added mu operator and more on the P operator (R2q2) |
| 14 | 2005-10-17 17:15:29 | +1 -4 line(s) | [View this version, source] [Diff to current|previous] |
| Added error handling (r2q2) |
| 13 | 2005-10-17 16:53:32 | +9 -4 line(s) | [View this version, source] [Diff to current|previous] |
| More formatting (r2q2) |
| 12 | 2005-10-17 16:32:36 | +3 -3 line(s) | [View this version, source] [Diff to current|previous] |
| Fixed mistake in other scheme example (r2q2) |
| 11 | 2005-10-17 16:27:48 | +5 -6 line(s) | [View this version, source] [Diff to current|previous] |
| Formatting mistake in first scheme code (R2q2) |
| 10 | 2005-10-17 16:13:34 | +10 -5 line(s) | [View this version, source] [Diff to current|previous] |
| Added ideas on automated theorm prover corrected code(r2q2) |
| 9 | 2005-10-17 15:56:52 | +3 -3 line(s) | [View this version, source] [Diff to current|previous] |
| More formatting (R2q2) |
| 8 | 2005-10-17 15:50:15 | +5 -9 line(s) | [View this version, source] [Diff to current|previous] |
| Completed example use (R2q2) |
| 7 | 2005-10-17 15:10:35 | +1 -1 line(s) | [View this version, source] [Diff to current|previous] |
| Minor mistake (r2q2) |
| 6 | 2005-10-17 14:58:55 | +2 -2 line(s) | [View this version, source] [Diff to current|previous] |
| Formalized formal logic statement (r2q2) |
| 5 | 2005-10-17 14:52:23 | +3 -3 line(s) | [View this version, source] [Diff to current|previous] |
| Added more information (r2q2) |
| 4 | 2005-10-17 13:08:31 | +6 -4 line(s) | [View this version, source] [Diff to current|previous] |
| Minor formatting errors. (r2q2) |
| 3 | 2005-10-17 13:07:25 | +20 -1 line(s) | [View this version, source] [Diff to current|previous] |
| Almost complete, just need to add records (r2q2) |
| 2 | 2005-10-16 23:36:15 | +5 -1 line(s) | [View this version, source] [Diff to current|previous] |
| Added more information (r2q2) |
| 1 | 2005-10-16 23:03:08 | +4 -0 line(s) | [View this version, source] [Diff to current|previous] |
| Creation of page (r2q2) |
| [Diff from epoch] |