Advertisement
logicmoo

Untitled

Apr 29th, 2019
546
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
Prolog 4.26 KB | None | 0 0
  1. root@gitlab:~/genera/symbolics/sys.sct/joshua# find
  2. .
  3. ./doc
  4. ./doc/defbook.lisp.~10~
  5. ./doc/josh-tms.sab.~50~
  6. ./doc/josh-script.sab.~72~
  7. ./doc/cd-rom-instructions.sab.~4~
  8. ./doc/defbook.vbin.~1~
  9. ./doc/josh-dict5.sab.~60~
  10. ./doc/josh-dict0.sab.~111~
  11. ./doc/record-types.vbin.~1~
  12. ./doc/josh-dict2.sab.~92~
  13. ./doc/josh-installation-instructions.sab.~33~
  14. ./doc/object-facility.sab.~12~
  15. ./doc/record-types.lisp.~2~
  16. ./doc/josh-metering.sab.~19~
  17. ./doc/josh-modeling.sab.~43~
  18. ./doc/patch
  19. ./doc/patch/jd-216
  20. ./doc/patch/jd-216/jd-216.component-dir.~3~
  21. ./doc/patch/jd-216/jd-216.patch-dir.~3~
  22. ./doc/patch/jd.system-dir.~68~
  23. ./doc/josh-rules.sab.~121~
  24. ./doc/object-dict.sab.~7~
  25. ./doc/josh-dict4.sab.~125~
  26. ./doc/josh-predications.sab.~102~
  27. ./doc/josh-dict3.sab.~75~
  28. ./doc/josh-dict1.sab.~122~
  29. ./doc/josh-dict6.sab.~23~
  30. ./doc/joshua-doc.lisp.~54~
  31. ./doc/josh-compiler.sab.~20~
  32. ./code
  33. ./code/ltms.lisp.~207~
  34. ./code/ltms.vbin.~1~
  35. ./code/rules.vbin.~1~
  36. ./code/rules.lisp.~224~
  37. ./code/discrimination-network.vbin.~1~
  38. ./code/encapsulations.vbin.~1~
  39. ./code/supplied-predicates.lisp.~222~
  40. ./code/object-model.lisp.~95~
  41. ./code/system-patches.vbin.~1~
  42. ./code/rete.vbin.~1~
  43. ./code/tracing.vbin.~1~
  44. ./code/package-definitions.vbin.~1~
  45. ./code/predications.vbin.~1~
  46. ./code/discrimination-network.lisp.~203~
  47. ./code/tracing.lisp.~209~
  48. ./code/supplied-predicates.vbin.~1~
  49. ./code/unification.vbin.~1~
  50. ./code/predication-implementation.lisp.~222~
  51. ./code/rete.lisp.~245~
  52. ./code/predication-defs.lisp.~201~
  53. ./code/matcher.vbin.~1~
  54. ./code/predications.lisp.~211~
  55. ./code/patch
  56. ./code/patch/js.system-dir.~127~
  57. ./code/patch/js-237
  58. ./code/patch/js-237/js-237-2.vbin.~1~
  59. ./code/patch/js-237/js-237.component-dir.~3~
  60. ./code/patch/js-237/js-237-3.lisp.~1~
  61. ./code/patch/js-237/js-237-3.vbin.~1~
  62. ./code/patch/js-237/js-237-1.vbin.~1~
  63. ./code/patch/js-237/js-237.patch-dir.~12~
  64. ./code/patch/js-237/js-237-2.lisp.~1~
  65. ./code/patch/js-237/js-237-1.lisp.~1~
  66. ./code/readn-n-writn.vbin.~1~
  67. ./code/predication-protocol.lisp.~216~
  68. ./code/definers.lisp.~1~
  69. ./code/ptypes-and-commands.vbin.~1~
  70. ./code/editor.lisp.~8~
  71. ./code/encapsulations.lisp.~201~
  72. ./code/predication-implementation.vbin.~1~
  73. ./code/readn-n-writn.lisp.~239~
  74. ./code/predication-protocol.vbin.~1~
  75. ./code/system-patches.lisp.~223~
  76. ./code/package-definitions.lisp.~221~
  77. ./code/editor.vbin.~1~
  78. ./code/object-model.vbin.~1~
  79. ./code/predication-defs.vbin.~1~
  80. ./code/matcher.lisp.~220~
  81. ./code/ptypes-and-commands.lisp.~210~
  82. ./code/joshua-defsystem.lisp.~206~
  83. ./code/definers.vbin.~1~
  84. ./code/unification.lisp.~203~
  85. ./metering
  86. ./metering/metering-interface-patches.vbin.~1~
  87. ./metering/joshua-metering-defsystem.lisp.~5~
  88. ./metering/metering-interface-patches.lisp.~1~
  89. ./metering/joshua-metering.vbin.~1~
  90. ./metering/joshua-metering.lisp.~8~
  91. ./metering/patch
  92. ./metering/patch/joshua-metering-206
  93. ./metering/patch/joshua-metering-206/joshua-metering-206.component-dir.~4~
  94. ./metering/patch/joshua-metering-206/joshua-metering-206.patch-dir.~4~
  95. ./metering/patch/joshua-metering.system-dir.~32~
  96. ./examples
  97. ./examples/n-queens-backward.lisp.~3~
  98. ./examples/samaritan.lisp.~222~
  99. ./examples/model-tutor.lisp.~207~
  100. ./examples/object-modelling-tests.vbin.~1~
  101. ./examples/ht-example-modelled.vbin.~1~
  102. ./examples/model-tutor.vbin.~1~
  103. ./examples/object-modelling-tests.lisp.~6~
  104. ./examples/im-my-own-grampaw.lisp.~202~
  105. ./examples/tms-examples.vbin.~1~
  106. ./examples/im-my-own-grampaw.vbin.~1~
  107. ./examples/widget-factory.vbin.~1~
  108. ./examples/demosthenes.vbin.~1~
  109. ./examples/package-definitions.lisp.~4~
  110. ./examples/planning-examples.lisp.~211~
  111. ./examples/ht-example-modelled.lisp.~217~
  112. ./examples/dial-demo.lisp.~2~
  113. ./examples/jericho-defsystem.lisp.~206~
  114. ./examples/cryptarithmetic.lisp.~209~
  115. ./examples/package-definitions.vbin.~1~
  116. ./examples/ht-example.vbin.~1~
  117. ./examples/cryptarithmetic.vbin.~1~
  118. ./examples/ht-example.lisp.~207~
  119. ./examples/patch
  120. ./examples/patch/je.system-dir.~122~
  121. ./examples/patch/je-237
  122. ./examples/patch/je-237/je-237.patch-dir.~4~
  123. ./examples/patch/je-237/je-237.component-dir.~3~
  124. ./examples/tms-examples.lisp.~207~
  125. ./examples/demosthenes.lisp.~205~
  126. ./examples/samaritan.vbin.~1~
  127. ./examples/n-queens-mixed.lisp.~3~
  128. ./examples/planning-examples.vbin.~1~
  129. ./examples/widget-factory.lisp.~11~
  130. root@gitlab:~/genera/symbolics/sys.sct/joshua#
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement