Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- root@gitlab:~/genera/symbolics/sys.sct/joshua# find
- .
- ./doc
- ./doc/defbook.lisp.~10~
- ./doc/josh-tms.sab.~50~
- ./doc/josh-script.sab.~72~
- ./doc/cd-rom-instructions.sab.~4~
- ./doc/defbook.vbin.~1~
- ./doc/josh-dict5.sab.~60~
- ./doc/josh-dict0.sab.~111~
- ./doc/record-types.vbin.~1~
- ./doc/josh-dict2.sab.~92~
- ./doc/josh-installation-instructions.sab.~33~
- ./doc/object-facility.sab.~12~
- ./doc/record-types.lisp.~2~
- ./doc/josh-metering.sab.~19~
- ./doc/josh-modeling.sab.~43~
- ./doc/patch
- ./doc/patch/jd-216
- ./doc/patch/jd-216/jd-216.component-dir.~3~
- ./doc/patch/jd-216/jd-216.patch-dir.~3~
- ./doc/patch/jd.system-dir.~68~
- ./doc/josh-rules.sab.~121~
- ./doc/object-dict.sab.~7~
- ./doc/josh-dict4.sab.~125~
- ./doc/josh-predications.sab.~102~
- ./doc/josh-dict3.sab.~75~
- ./doc/josh-dict1.sab.~122~
- ./doc/josh-dict6.sab.~23~
- ./doc/joshua-doc.lisp.~54~
- ./doc/josh-compiler.sab.~20~
- ./code
- ./code/ltms.lisp.~207~
- ./code/ltms.vbin.~1~
- ./code/rules.vbin.~1~
- ./code/rules.lisp.~224~
- ./code/discrimination-network.vbin.~1~
- ./code/encapsulations.vbin.~1~
- ./code/supplied-predicates.lisp.~222~
- ./code/object-model.lisp.~95~
- ./code/system-patches.vbin.~1~
- ./code/rete.vbin.~1~
- ./code/tracing.vbin.~1~
- ./code/package-definitions.vbin.~1~
- ./code/predications.vbin.~1~
- ./code/discrimination-network.lisp.~203~
- ./code/tracing.lisp.~209~
- ./code/supplied-predicates.vbin.~1~
- ./code/unification.vbin.~1~
- ./code/predication-implementation.lisp.~222~
- ./code/rete.lisp.~245~
- ./code/predication-defs.lisp.~201~
- ./code/matcher.vbin.~1~
- ./code/predications.lisp.~211~
- ./code/patch
- ./code/patch/js.system-dir.~127~
- ./code/patch/js-237
- ./code/patch/js-237/js-237-2.vbin.~1~
- ./code/patch/js-237/js-237.component-dir.~3~
- ./code/patch/js-237/js-237-3.lisp.~1~
- ./code/patch/js-237/js-237-3.vbin.~1~
- ./code/patch/js-237/js-237-1.vbin.~1~
- ./code/patch/js-237/js-237.patch-dir.~12~
- ./code/patch/js-237/js-237-2.lisp.~1~
- ./code/patch/js-237/js-237-1.lisp.~1~
- ./code/readn-n-writn.vbin.~1~
- ./code/predication-protocol.lisp.~216~
- ./code/definers.lisp.~1~
- ./code/ptypes-and-commands.vbin.~1~
- ./code/editor.lisp.~8~
- ./code/encapsulations.lisp.~201~
- ./code/predication-implementation.vbin.~1~
- ./code/readn-n-writn.lisp.~239~
- ./code/predication-protocol.vbin.~1~
- ./code/system-patches.lisp.~223~
- ./code/package-definitions.lisp.~221~
- ./code/editor.vbin.~1~
- ./code/object-model.vbin.~1~
- ./code/predication-defs.vbin.~1~
- ./code/matcher.lisp.~220~
- ./code/ptypes-and-commands.lisp.~210~
- ./code/joshua-defsystem.lisp.~206~
- ./code/definers.vbin.~1~
- ./code/unification.lisp.~203~
- ./metering
- ./metering/metering-interface-patches.vbin.~1~
- ./metering/joshua-metering-defsystem.lisp.~5~
- ./metering/metering-interface-patches.lisp.~1~
- ./metering/joshua-metering.vbin.~1~
- ./metering/joshua-metering.lisp.~8~
- ./metering/patch
- ./metering/patch/joshua-metering-206
- ./metering/patch/joshua-metering-206/joshua-metering-206.component-dir.~4~
- ./metering/patch/joshua-metering-206/joshua-metering-206.patch-dir.~4~
- ./metering/patch/joshua-metering.system-dir.~32~
- ./examples
- ./examples/n-queens-backward.lisp.~3~
- ./examples/samaritan.lisp.~222~
- ./examples/model-tutor.lisp.~207~
- ./examples/object-modelling-tests.vbin.~1~
- ./examples/ht-example-modelled.vbin.~1~
- ./examples/model-tutor.vbin.~1~
- ./examples/object-modelling-tests.lisp.~6~
- ./examples/im-my-own-grampaw.lisp.~202~
- ./examples/tms-examples.vbin.~1~
- ./examples/im-my-own-grampaw.vbin.~1~
- ./examples/widget-factory.vbin.~1~
- ./examples/demosthenes.vbin.~1~
- ./examples/package-definitions.lisp.~4~
- ./examples/planning-examples.lisp.~211~
- ./examples/ht-example-modelled.lisp.~217~
- ./examples/dial-demo.lisp.~2~
- ./examples/jericho-defsystem.lisp.~206~
- ./examples/cryptarithmetic.lisp.~209~
- ./examples/package-definitions.vbin.~1~
- ./examples/ht-example.vbin.~1~
- ./examples/cryptarithmetic.vbin.~1~
- ./examples/ht-example.lisp.~207~
- ./examples/patch
- ./examples/patch/je.system-dir.~122~
- ./examples/patch/je-237
- ./examples/patch/je-237/je-237.patch-dir.~4~
- ./examples/patch/je-237/je-237.component-dir.~3~
- ./examples/tms-examples.lisp.~207~
- ./examples/demosthenes.lisp.~205~
- ./examples/samaritan.vbin.~1~
- ./examples/n-queens-mixed.lisp.~3~
- ./examples/planning-examples.vbin.~1~
- ./examples/widget-factory.lisp.~11~
- root@gitlab:~/genera/symbolics/sys.sct/joshua#
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement