{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":71775220,"defaultBranch":"master","name":"its","ownerLogin":"PDP-10","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2016-10-24T09:52:01.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/19323163?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1722229273.0","currentOid":""},"activityList":{"items":[{"before":"3919bd26fc2bc6104adb1d784a7b045d6681de6f","after":"627d0de93076f2c204c5db7a855aaacceaf6f576","ref":"refs/heads/lars/dump-diff","pushedAt":"2024-07-29T05:38:56.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"larsbrinkhoff","name":"Lars Brinkhoff","path":"/larsbrinkhoff","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/775050?s=80&v=4"},"commit":{"message":"Use POSIX option -n for head and tail commands.","shortMessageHtmlLink":"Use POSIX option -n for head and tail commands."}},{"before":"d1d1e8a0f7dad559e2f6849ec687c8b27cca20cb","after":"3919bd26fc2bc6104adb1d784a7b045d6681de6f","ref":"refs/heads/lars/dump-diff","pushedAt":"2024-07-29T05:28:56.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"larsbrinkhoff","name":"Lars Brinkhoff","path":"/larsbrinkhoff","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/775050?s=80&v=4"},"commit":{"message":"Use POSIX option -n for head and tail commands.","shortMessageHtmlLink":"Use POSIX option -n for head and tail commands."}},{"before":"e5e8c1ce8a9d5987cbf0e69e74305dc7086cd6a0","after":null,"ref":"refs/heads/ejs/shrdlu2","pushedAt":"2024-07-29T05:01:13.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"larsbrinkhoff","name":"Lars Brinkhoff","path":"/larsbrinkhoff","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/775050?s=80&v=4"}},{"before":"8794a3e05013a2e3b340b6e81de621265367850c","after":"388c05a8514e7c4a8c4af7261e87169074d497a7","ref":"refs/heads/master","pushedAt":"2024-07-27T17:44:34.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"eswenson1","name":"Eric Swenson","path":"/eswenson1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/867939?s=80&v=4"},"commit":{"message":"Add some helpful comments.","shortMessageHtmlLink":"Add some helpful comments."}},{"before":"74f27def1a3b3a9fd8fa9a1fe5a54b9283f87093","after":"e5e8c1ce8a9d5987cbf0e69e74305dc7086cd6a0","ref":"refs/heads/ejs/shrdlu2","pushedAt":"2024-07-27T05:22:27.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"larsbrinkhoff","name":"Lars Brinkhoff","path":"/larsbrinkhoff","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/775050?s=80&v=4"},"commit":{"message":"Add some helpful comments.","shortMessageHtmlLink":"Add some helpful comments."}},{"before":"065d759c865ae290568aa234aea0fba341f8ca44","after":"74f27def1a3b3a9fd8fa9a1fe5a54b9283f87093","ref":"refs/heads/ejs/shrdlu2","pushedAt":"2024-07-26T15:45:02.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"eswenson1","name":"Eric Swenson","path":"/eswenson1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/867939?s=80&v=4"},"commit":{"message":"Addressed three review comments.\n\nUse LISTIFY instead of a hand-coded version.  Got rid of SETQ\nof a PROG variable, since variables should have been initialized\nto NIL by PROG.","shortMessageHtmlLink":"Addressed three review comments."}},{"before":"79f78ffa94959fdfddf4b05126fd78ca6719d254","after":"065d759c865ae290568aa234aea0fba341f8ca44","ref":"refs/heads/ejs/shrdlu2","pushedAt":"2024-07-26T12:00:42.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"larsbrinkhoff","name":"Lars Brinkhoff","path":"/larsbrinkhoff","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/775050?s=80&v=4"},"commit":{"message":"Add some helpful comments.","shortMessageHtmlLink":"Add some helpful comments."}},{"before":null,"after":"79f78ffa94959fdfddf4b05126fd78ca6719d254","ref":"refs/heads/ejs/shrdlu2","pushedAt":"2024-07-25T22:19:02.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"eswenson1","name":"Eric Swenson","path":"/eswenson1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/867939?s=80&v=4"},"commit":{"message":"Fixed various bugs with the current version of SHRDLU.\n\nAlso added some descriptive files with info about the various files\nin the source directory.","shortMessageHtmlLink":"Fixed various bugs with the current version of SHRDLU."}},{"before":"847c8eb6fb196bae3a21f383a7e255a86d128efc","after":"8794a3e05013a2e3b340b6e81de621265367850c","ref":"refs/heads/master","pushedAt":"2024-07-25T20:26:38.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"eswenson1","name":"Eric Swenson","path":"/eswenson1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/867939?s=80&v=4"},"commit":{"message":"Update SHRDLU and MicroPlanner to run on newer Maclisp.\n\nNote: SHRDLU only works with the visual block rendering on pdp10-ka with the\nType 340 display enabled.  Even then, there is some issue that causes the\nSLAVE interface to the Type 340 display to fail, with an error indicating that\nthe 340 is not available.  This is still to be tracked down.\n\nWithout the Type 340 display, SHRDLU should work reasonably well.  It fails at\nsome things that the DEMO apparently succeeded in doing.  It is not clear why,\nbut likely the demo was created at one point, and the SHRDLU sources were updated\nafter that point, breaking some things.\n\nSHRDLU can be invoked with :SHRDLU;SHRDLU.\n\nOnce you invoke SHRDLU, you'll see output similar to this:\n\nSHRDLU VERSION 1000   LOADED 2024-07-21 IN BLISP 2156\n\nREFER\nCOMMENTS AND QUESTIONS TO DDM\n\nVERSION\nRECONSTRUCTED BY EJS\n\n-IF YOU ARE NEAR A DEC-340\n     DO YOU WANT THE DISPLAY (TYPE \" Y  \" OR \" N  \" )\n\nIf you are running the pdp10-ka emulator, have enabled the DPY device, and want\nto see the display, answer \"Y\". Otherwise, answer \"N\".\n\nThen, after some more output you will see:\n\nYOU ARE NOW IN A READ-EVAL-PRINT LOOP\n\nTYPE \" GO  \" TO ENTER READY STATE\n\n>>>\n\nYou are now in command mode and can type various commands, such as \"SHOW\".\nYou can also type \"GO\" to enter ready mode.  It is in ready mode that you can\nissue commands like \"pick up a big red block.\", to which SHRDLU should\nrespond \"OK.\".  Note that commands should be ended with a period (\".\").\nQuestions should be ended with an exclamation mark (\"?\"). An example question\nmight be:  \"what is in the box?\".\n\nMicroPlanner can be invoked with :SHRDLU;PLNR.  As a simple test of MicroPlanner,\nyou can enter these expressions (marked with \"==>\" -- don't type that).  If the\n(THVAL ...) form results in printing \"(FALLIBLE TURING)\" then you know that basic\ngoal reaching works.\n\n>>>  TOPLEVEL\nLISTENING  THVAL\n==> (THASSERT (HUMAN TURING))\n((HUMAN TURING))\n==> (DEFPROP THEO1 (THCONSE (X) (FALLIBLE $?X) (THGOAL (HUMAN $?X))) THEOREM)\nTHEO1\n==> (THASSERT THEO1)\nTHEO1\n==> (THVAL (THGOAL (FALLIBLE TURING) (THTBF THTRUE)) NIL)\n(FALLIBLE TURING)","shortMessageHtmlLink":"Update SHRDLU and MicroPlanner to run on newer Maclisp."}},{"before":"f88221a3af0b1dd2c6a85a706de137903d5f4e9d","after":"0f8c8b86e2469770a5e0c50d1e8fa9fa3bac7a09","ref":"refs/heads/ejs/shrdlu_plnr","pushedAt":"2024-07-25T16:27:24.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"larsbrinkhoff","name":"Lars Brinkhoff","path":"/larsbrinkhoff","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/775050?s=80&v=4"},"commit":{"message":"Update SHRDLU and MicroPlanner to run on newer Maclisp.\n\nNote: SHRDLU only works with the visual block rendering on pdp10-ka with the\nType 340 display enabled.  Even then, there is some issue that causes the\nSLAVE interface to the Type 340 display to fail, with an error indicating that\nthe 340 is not available.  This is still to be tracked down.\n\nWithout the Type 340 display, SHRDLU should work reasonably well.  It fails at\nsome things that the DEMO apparently succeeded in doing.  It is not clear why,\nbut likely the demo was created at one point, and the SHRDLU sources were updated\nafter that point, breaking some things.\n\nSHRDLU can be invoked with :SHRDLU;SHRDLU.\n\nOnce you invoke SHRDLU, you'll see output similar to this:\n\nSHRDLU VERSION 1000   LOADED 2024-07-21 IN BLISP 2156\n\nREFER\nCOMMENTS AND QUESTIONS TO DDM\n\nVERSION\nRECONSTRUCTED BY EJS\n\n-IF YOU ARE NEAR A DEC-340\n     DO YOU WANT THE DISPLAY (TYPE \" Y  \" OR \" N  \" )\n\nIf you are running the pdp10-ka emulator, have enabled the DPY device, and want\nto see the display, answer \"Y\". Otherwise, answer \"N\".\n\nThen, after some more output you will see:\n\nYOU ARE NOW IN A READ-EVAL-PRINT LOOP\n\nTYPE \" GO  \" TO ENTER READY STATE\n\n>>>\n\nYou are now in command mode and can type various commands, such as \"SHOW\".\nYou can also type \"GO\" to enter ready mode.  It is in ready mode that you can\nissue commands like \"pick up a big red block.\", to which SHRDLU should\nrespond \"OK.\".  Note that commands should be ended with a period (\".\").\nQuestions should be ended with an exclamation mark (\"?\"). An example question\nmight be:  \"what is in the box?\".\n\nMicroPlanner can be invoked with :SHRDLU;PLNR.  As a simple test of MicroPlanner,\nyou can enter these expressions (marked with \"==>\" -- don't type that).  If the\n(THVAL ...) form results in printing \"(FALLIBLE TURING)\" then you know that basic\ngoal reaching works.\n\n>>>  TOPLEVEL\nLISTENING  THVAL\n==> (THASSERT (HUMAN TURING))\n((HUMAN TURING))\n==> (DEFPROP THEO1 (THCONSE (X) (FALLIBLE $?X) (THGOAL (HUMAN $?X))) THEOREM)\nTHEO1\n==> (THASSERT THEO1)\nTHEO1\n==> (THVAL (THGOAL (FALLIBLE TURING) (THTBF THTRUE)) NIL)\n(FALLIBLE TURING)","shortMessageHtmlLink":"Update SHRDLU and MicroPlanner to run on newer Maclisp."}},{"before":"4954463caa63bfd79e0d64708f084c16dfd1faa1","after":"f88221a3af0b1dd2c6a85a706de137903d5f4e9d","ref":"refs/heads/ejs/shrdlu_plnr","pushedAt":"2024-07-25T10:33:32.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"larsbrinkhoff","name":"Lars Brinkhoff","path":"/larsbrinkhoff","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/775050?s=80&v=4"},"commit":{"message":"Update SHRDLU and MicroPlanner to run on newer Maclisp.\n\nNote: SHRDLU only works with the visual block rendering on pdp10-ka with the\nType 340 display enabled.  Even then, there is some issue that causes the\nSLAVE interface to the Type 340 display to fail, with an error indicating that\nthe 340 is not available.  This is still to be tracked down.\n\nWithout the Type 340 display, SHRDLU should work reasonably well.  It fails at\nsome things that the DEMO apparently succeeded in doing.  It is not clear why,\nbut likely the demo was created at one point, and the SHRDLU sources were updated\nafter that point, breaking some things.\n\nSHRDLU can be invoked with :SHRDLU;SHRDLU.\n\nOnce you invoke SHRDLU, you'll see output similar to this:\n\nSHRDLU VERSION 1000   LOADED 2024-07-21 IN BLISP 2156\n\nREFER\nCOMMENTS AND QUESTIONS TO DDM\n\nVERSION\nRECONSTRUCTED BY EJS\n\n-IF YOU ARE NEAR A DEC-340\n     DO YOU WANT THE DISPLAY (TYPE \" Y  \" OR \" N  \" )\n\nIf you are running the pdp10-ka emulator, have enabled the DPY device, and want\nto see the display, answer \"Y\". Otherwise, answer \"N\".\n\nThen, after some more output you will see:\n\nYOU ARE NOW IN A READ-EVAL-PRINT LOOP\n\nTYPE \" GO  \" TO ENTER READY STATE\n\n>>>\n\nYou are now in command mode and can type various commands, such as \"SHOW\".\nYou can also type \"GO\" to enter ready mode.  It is in ready mode that you can\nissue commands like \"pick up a big red block.\", to which SHRDLU should\nrespond \"OK.\".  Note that commands should be ended with a period (\".\").\nQuestions should be ended with an exclamation mark (\"?\"). An example question\nmight be:  \"what is in the box?\".\n\nMicroPlanner can be invoked with :SHRDLU;PLNR.  As a simple test of MicroPlanner,\nyou can enter these expressions (marked with \"==>\" -- don't type that).  If the\n(THVAL ...) form results in printing \"(FALLIBLE TURING)\" then you know that basic\ngoal reaching works.\n\n>>>  TOPLEVEL\nLISTENING  THVAL\n==> (THASSERT (HUMAN TURING))\n((HUMAN TURING))\n==> (DEFPROP THEO1 (THCONSE (X) (FALLIBLE $?X) (THGOAL (HUMAN $?X))) THEOREM)\nTHEO1\n==> (THASSERT THEO1)\nTHEO1\n==> (THVAL (THGOAL (FALLIBLE TURING) (THTBF THTRUE)) NIL)\n(FALLIBLE TURING)","shortMessageHtmlLink":"Update SHRDLU and MicroPlanner to run on newer Maclisp."}},{"before":"5f174f0fa2bd8fe10c02ee0f427c81f5304305d2","after":"4954463caa63bfd79e0d64708f084c16dfd1faa1","ref":"refs/heads/ejs/shrdlu_plnr","pushedAt":"2024-07-25T08:48:27.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"larsbrinkhoff","name":"Lars Brinkhoff","path":"/larsbrinkhoff","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/775050?s=80&v=4"},"commit":{"message":"Update SHRDLU and MicroPlanner to run on newer Maclisp.\n\nNote: SHRDLU only works with the visual block rendering on pdp10-ka with the\nType 340 display enabled.  Even then, there is some issue that causes the\nSLAVE interface to the Type 340 display to fail, with an error indicating that\nthe 340 is not available.  This is still to be tracked down.\n\nWithout the Type 340 display, SHRDLU should work reasonably well.  It fails at\nsome things that the DEMO apparently succeeded in doing.  It is not clear why,\nbut likely the demo was created at one point, and the SHRDLU sources were updated\nafter that point, breaking some things.\n\nSHRDLU can be invoked with :SHRDLU;SHRDLU.\n\nOnce you invoke SHRDLU, you'll see output similar to this:\n\nSHRDLU VERSION 1000   LOADED 2024-07-21 IN BLISP 2156\n\nREFER\nCOMMENTS AND QUESTIONS TO DDM\n\nVERSION\nRECONSTRUCTED BY EJS\n\n-IF YOU ARE NEAR A DEC-340\n     DO YOU WANT THE DISPLAY (TYPE \" Y  \" OR \" N  \" )\n\nIf you are running the pdp10-ka emulator, have enabled the DPY device, and want\nto see the display, answer \"Y\". Otherwise, answer \"N\".\n\nThen, after some more output you will see:\n\nYOU ARE NOW IN A READ-EVAL-PRINT LOOP\n\nTYPE \" GO  \" TO ENTER READY STATE\n\n>>>\n\nYou are now in command mode and can type various commands, such as \"SHOW\".\nYou can also type \"GO\" to enter ready mode.  It is in ready mode that you can\nissue commands like \"pick up a big red block.\", to which SHRDLU should\nrespond \"OK.\".  Note that commands should be ended with a period (\".\").\nQuestions should be ended with an exclamation mark (\"?\"). An example question\nmight be:  \"what is in the box?\".\n\nMicroPlanner can be invoked with :SHRDLU;PLNR.  As a simple test of MicroPlanner,\nyou can enter these expressions (marked with \"==>\" -- don't type that).  If the\n(THVAL ...) form results in printing \"(FALLIBLE TURING)\" then you know that basic\ngoal reaching works.\n\n>>>  TOPLEVEL\nLISTENING  THVAL\n==> (THASSERT (HUMAN TURING))\n((HUMAN TURING))\n==> (DEFPROP THEO1 (THCONSE (X) (FALLIBLE $?X) (THGOAL (HUMAN $?X))) THEOREM)\nTHEO1\n==> (THASSERT THEO1)\nTHEO1\n==> (THVAL (THGOAL (FALLIBLE TURING) (THTBF THTRUE)) NIL)\n(FALLIBLE TURING)","shortMessageHtmlLink":"Update SHRDLU and MicroPlanner to run on newer Maclisp."}},{"before":"d468a47bc1634e66254226933d7d3bfd0fb6b271","after":"847c8eb6fb196bae3a21f383a7e255a86d128efc","ref":"refs/heads/master","pushedAt":"2024-07-23T16:21:33.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"eswenson1","name":"Eric Swenson","path":"/eswenson1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/867939?s=80&v=4"},"commit":{"message":"Updated SLAVE interface to Type 340 display to correct an obvious bug.\n\nThe value of the timeout was getting overwritten by incorrect code.\nI was seeing timeout errors while trying to write to the display from\nSHRDLU.  The fix seems to help a lot.","shortMessageHtmlLink":"Updated SLAVE interface to Type 340 display to correct an obvious bug."}},{"before":null,"after":"f3269ef9d19cabf8f9cebf0f119249d9a43983aa","ref":"refs/heads/ejs/slave","pushedAt":"2024-07-23T00:21:41.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"eswenson1","name":"Eric Swenson","path":"/eswenson1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/867939?s=80&v=4"},"commit":{"message":"Updated SLAVE interface to Type 340 display to correct an obvious bug.\n\nThe value of the timeout was getting overwritten by incorrect code.\nI was seeing timeout errors while trying to write to the display from\nSHRDLU.  The fix seems to help a lot.","shortMessageHtmlLink":"Updated SLAVE interface to Type 340 display to correct an obvious bug."}},{"before":"9b405a193c829942a7092af255561545ffdf7b40","after":"5f174f0fa2bd8fe10c02ee0f427c81f5304305d2","ref":"refs/heads/ejs/shrdlu_plnr","pushedAt":"2024-07-22T23:04:08.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"eswenson1","name":"Eric Swenson","path":"/eswenson1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/867939?s=80&v=4"},"commit":{"message":"Added SHRDLU and MicroPlanner.\n\nNote: SHRDLU only works with the visual block rendering on pdp10-ka with the\nType 340 display enabled.  Even then, there is some issue that causes the\nSLAVE interface to the Type 340 display to fail, with an error indicating that\nthe 340 is not available.  This is still to be tracked down.\n\nWithout the Type 340 display, SHRDLU should work reasonably well.  It fails at\nsome things that the DEMO apparently succeeded in doing.  It is not clear why,\nbut likely the demo was created at one point, and the SHRDLU sources were updated\nafter that point, breaking some things.\n\nSHRDLU can be invoked with :SHRDLU;SHRDLU.\n\nOnce you invoke SHRDLU, you'll see output similar to this:\n\nSHRDLU VERSION 1000   LOADED 2024-07-21 IN BLISP 2156\n\nREFER\nCOMMENTS AND QUESTIONS TO DDM\n\nVERSION\nRECONSTRUCTED BY EJS\n\n-IF YOU ARE NEAR A DEC-340\n     DO YOU WANT THE DISPLAY (TYPE \" Y  \" OR \" N  \" )\n\nIf you are running the pdp10-ka emulator, have enabled the DPY device, and want\nto see the display, answer \"Y\". Otherwise, answer \"N\".\n\nThen, after some more output you will see:\n\nYOU ARE NOW IN A READ-EVAL-PRINT LOOP\n\nTYPE \" GO  \" TO ENTER READY STATE\n\n>>>\n\nYou are now in command mode and can type various commands, such as \"SHOW\".\nYou can also type \"GO\" to enter ready mode.  It is in ready mode that you can\nissue commands like \"pick up a big red block.\", to which SHRDLU should\nrespond \"OK.\".  Note that commands should be ended with a period (\".\").\nQuestions should be ended with an exclamation mark (\"?\"). An example question\nmight be:  \"what is in the box?\".\n\nMicroPlanner can be invoked with :SHRDLU;PLNR.  As a simple test of MicroPlanner,\nyou can enter these expressions (marked with \"==>\" -- don't type that).  If the\n(THVAL ...) form results in printing \"(FALLIBLE TURING)\" then you know that basic\ngoal reaching works.\n\n>>>  TOPLEVEL\nLISTENING  THVAL\n==> (THASSERT (HUMAN TURING))\n((HUMAN TURING))\n==> (DEFPROP THEO1 (THCONSE (X) (FALLIBLE $?X) (THGOAL (HUMAN $?X))) THEOREM)\nTHEO1\n==> (THASSERT THEO1)\nTHEO1\n==> (THVAL (THGOAL (FALLIBLE TURING) (THTBF THTRUE)) NIL)\n(FALLIBLE TURING)","shortMessageHtmlLink":"Added SHRDLU and MicroPlanner."}},{"before":null,"after":"9b405a193c829942a7092af255561545ffdf7b40","ref":"refs/heads/ejs/shrdlu_plnr","pushedAt":"2024-07-22T22:31:07.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"eswenson1","name":"Eric Swenson","path":"/eswenson1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/867939?s=80&v=4"},"commit":{"message":"Added SHRDLU and MicroPlanner.\n\nNote: SHRDLU only works with the visual block rendering on pdp10-ka with the\nType 340 display enabled.  Even then, there is some issue that causes the\nSLAVE interface to the Type 340 display to fail, with an error indicating that\nthe 340 is not available.  This is still to be tracked down.\n\nWithout the Type 340 display, SHRDLU should work reasonably well.  It fails at\nsome things that the DEMO apparently succeeded in doing.  It is not clear why,\nbut likely the demo was created at one point, and the SHRDLU sources were updated\nafter that point, breaking some things.\n\nSHRDLU can be invoked with :SHRDLU;SHRDLU.\n\nOnce you invoke SHRDLU, you'll see output similar to this:\n\nSHRDLU VERSION 1000   LOADED 2024-07-21 IN BLISP 2156\n\nREFER\nCOMMENTS AND QUESTIONS TO DDM\n\nVERSION\nRECONSTRUCTED BY EJS\n\n-IF YOU ARE NEAR A DEC-340\n     DO YOU WANT THE DISPLAY (TYPE \" Y  \" OR \" N  \" )\n\nIf you are running the pdp10-ka emulator, have enabled the DPY device, and want\nto see the display, answer \"Y\". Otherwise, answer \"N\".\n\nThen, after some more output you will see:\n\nYOU ARE NOW IN A READ-EVAL-PRINT LOOP\n\nTYPE \" GO  \" TO ENTER READY STATE\n\n>>>\n\nYou are now in command mode and can type various commands, such as \"SHOW\".\nYou can also type \"GO\" to enter ready mode.  It is in ready mode that you can\nissue commands like \"pick up a big red block.\", to which SHRDLU should\nrespond \"OK.\".  Note that commands should be ended with a period (\".\").\nQuestions should be ended with an exclamation mark (\"?\"). An example question\nmight be:  \"what is in the box?\".\n\nMicroPlanner can be invoked with :SHRDLU;PLNR.  As a simple test of MicroPlanner,\nyou can enter these expressions (marked with \"==>\" -- don't type that).  If the\n(THVAL ...) form results in printing \"(FALLIBLE TURING)\" then you know that basic\ngoal reaching works.\n\n>>>  TOPLEVEL\nLISTENING  THVAL\n==> (THASSERT (HUMAN TURING))\n((HUMAN TURING))\n==> (DEFPROP THEO1 (THCONSE (X) (FALLIBLE $?X) (THGOAL (HUMAN $?X))) THEOREM)\nTHEO1\n==> (THASSERT THEO1)\nTHEO1\n==> (THVAL (THGOAL (FALLIBLE TURING) (THTBF THTRUE)) NIL)\n(FALLIBLE TURING)","shortMessageHtmlLink":"Added SHRDLU and MicroPlanner."}},{"before":"4dbbdba7d0dc33c333d764722342807ed54286b8","after":"d468a47bc1634e66254226933d7d3bfd0fb6b271","ref":"refs/heads/master","pushedAt":"2024-06-16T12:07:13.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"larsbrinkhoff","name":"Lars Brinkhoff","path":"/larsbrinkhoff","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/775050?s=80&v=4"},"commit":{"message":"Replace egrep with grep -E in Makefile","shortMessageHtmlLink":"Replace egrep with grep -E in Makefile"}},{"before":"a5eab14db122748e904bd1cb7b2a0aa01200568a","after":null,"ref":"refs/heads/lars/deps","pushedAt":"2024-06-15T17:01:37.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"larsbrinkhoff","name":"Lars Brinkhoff","path":"/larsbrinkhoff","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/775050?s=80&v=4"}},{"before":"da09a12c41591b7eb461cbf14df68b9440f36a60","after":"4dbbdba7d0dc33c333d764722342807ed54286b8","ref":"refs/heads/master","pushedAt":"2024-06-15T17:01:33.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"larsbrinkhoff","name":"Lars Brinkhoff","path":"/larsbrinkhoff","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/775050?s=80&v=4"},"commit":{"message":"The dependencies.sh script is only for CI.\n\nRemoved the text about dependencies.sh because it's only to aid\ncontinuous integration builds.  We don't want the maintenance burden\nof keeping this up to date for everyone's operating system release.","shortMessageHtmlLink":"The dependencies.sh script is only for CI."}},{"before":"9ee30601c6ddd87c891497c77bca4536c6c4d344","after":"a5eab14db122748e904bd1cb7b2a0aa01200568a","ref":"refs/heads/lars/deps","pushedAt":"2024-06-15T07:30:19.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"larsbrinkhoff","name":"Lars Brinkhoff","path":"/larsbrinkhoff","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/775050?s=80&v=4"},"commit":{"message":"The dependencies.sh script is only for CI.\n\nRemoved the text about dependencies.sh because it's only to aid\ncontinuous integration builds.  We don't want the maintenance burden\nof keeping this up to date for everyone's operating system release.","shortMessageHtmlLink":"The dependencies.sh script is only for CI."}},{"before":null,"after":"9ee30601c6ddd87c891497c77bca4536c6c4d344","ref":"refs/heads/lars/deps","pushedAt":"2024-06-15T07:28:17.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"larsbrinkhoff","name":"Lars Brinkhoff","path":"/larsbrinkhoff","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/775050?s=80&v=4"},"commit":{"message":"The dependencies.sh script is only for CI.\n\nRemoved the text about dependencies.sh because it's only to aid\ncontinuous integration builds.  We don't want the maintenance burden\nof keeping this up to date for everyone's operating system release.","shortMessageHtmlLink":"The dependencies.sh script is only for CI."}},{"before":"314dee93f5c89888bc788d6c4d0212a66351adc8","after":"da09a12c41591b7eb461cbf14df68b9440f36a60","ref":"refs/heads/master","pushedAt":"2024-06-15T07:13:30.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"larsbrinkhoff","name":"Lars Brinkhoff","path":"/larsbrinkhoff","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/775050?s=80&v=4"},"commit":{"message":"Update tips","shortMessageHtmlLink":"Update tips"}},{"before":"117ff67ebfa2861da6c960464f2defe3ebb738ca","after":"314dee93f5c89888bc788d6c4d0212a66351adc8","ref":"refs/heads/master","pushedAt":"2024-06-15T07:06:06.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"larsbrinkhoff","name":"Lars Brinkhoff","path":"/larsbrinkhoff","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/775050?s=80&v=4"},"commit":{"message":"Update tips","shortMessageHtmlLink":"Update tips"}},{"before":"bf9ff64b7ae77e5ac573cc1d80545a8bb8330060","after":null,"ref":"refs/heads/bictorv-n3uc-hosts","pushedAt":"2024-06-14T10:29:16.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"larsbrinkhoff","name":"Lars Brinkhoff","path":"/larsbrinkhoff","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/775050?s=80&v=4"}},{"before":"098afca9e4d672f2bcc741316bfc2d0ecf21aafa","after":"117ff67ebfa2861da6c960464f2defe3ebb738ca","ref":"refs/heads/master","pushedAt":"2024-06-14T10:29:11.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"larsbrinkhoff","name":"Lars Brinkhoff","path":"/larsbrinkhoff","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/775050?s=80&v=4"},"commit":{"message":"Update h3text.2018: add N3UC hosts","shortMessageHtmlLink":"Update h3text.2018: add N3UC hosts"}},{"before":"9cfc0bb301c41c28a43f649b8a979f6c7b3adbb2","after":"bf9ff64b7ae77e5ac573cc1d80545a8bb8330060","ref":"refs/heads/bictorv-n3uc-hosts","pushedAt":"2024-06-14T05:17:22.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"larsbrinkhoff","name":"Lars Brinkhoff","path":"/larsbrinkhoff","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/775050?s=80&v=4"},"commit":{"message":"Merge branch 'master' into bictorv-n3uc-hosts","shortMessageHtmlLink":"Merge branch 'master' into bictorv-n3uc-hosts"}},{"before":"06ff57bb900a0e152955957b8dab2b111fe3735a","after":null,"ref":"refs/heads/lars/cirrus","pushedAt":"2024-06-14T05:12:08.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"larsbrinkhoff","name":"Lars Brinkhoff","path":"/larsbrinkhoff","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/775050?s=80&v=4"}},{"before":"bca09876081bbdec7dd3563f7cf960937756a547","after":"098afca9e4d672f2bcc741316bfc2d0ecf21aafa","ref":"refs/heads/master","pushedAt":"2024-06-14T05:12:02.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"larsbrinkhoff","name":"Lars Brinkhoff","path":"/larsbrinkhoff","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/775050?s=80&v=4"},"commit":{"message":"Update CI build to FreeBSD 14.0.","shortMessageHtmlLink":"Update CI build to FreeBSD 14.0."}},{"before":null,"after":"06ff57bb900a0e152955957b8dab2b111fe3735a","ref":"refs/heads/lars/cirrus","pushedAt":"2024-06-13T10:52:12.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"larsbrinkhoff","name":"Lars Brinkhoff","path":"/larsbrinkhoff","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/775050?s=80&v=4"},"commit":{"message":"Update CI build to FreeBSD 14.0.","shortMessageHtmlLink":"Update CI build to FreeBSD 14.0."}},{"before":null,"after":"1849815e6a7658520651b663295e64e051fa9159","ref":"refs/heads/lars/pt-its","pushedAt":"2024-06-13T10:50:51.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"larsbrinkhoff","name":"Lars Brinkhoff","path":"/larsbrinkhoff","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/775050?s=80&v=4"},"commit":{"message":"tmp","shortMessageHtmlLink":"tmp"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEi4UEiwA","startCursor":null,"endCursor":null}},"title":"Activity · PDP-10/its"}