Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- root@gitlab:~/genera/symbolics/sys.sct/joshua# find -name "*.lisp*" | xargs wc -l
- 89 ./doc/defbook.lisp.~10~
- 63 ./doc/record-types.lisp.~2~
- 131 ./doc/joshua-doc.lisp.~54~
- 751 ./code/ltms.lisp.~207~
- 1034 ./code/rules.lisp.~224~
- 1084 ./code/supplied-predicates.lisp.~222~
- 2087 ./code/object-model.lisp.~95~
- 572 ./code/discrimination-network.lisp.~203~
- 2653 ./code/tracing.lisp.~209~
- 740 ./code/predication-implementation.lisp.~222~
- 1701 ./code/rete.lisp.~245~
- 394 ./code/predication-defs.lisp.~201~
- 1857 ./code/predications.lisp.~211~
- 297 ./code/patch/js-237/js-237-3.lisp.~1~
- 735 ./code/patch/js-237/js-237-2.lisp.~1~
- 235 ./code/patch/js-237/js-237-1.lisp.~1~
- 479 ./code/predication-protocol.lisp.~216~
- 276 ./code/definers.lisp.~1~
- 402 ./code/editor.lisp.~8~
- 262 ./code/encapsulations.lisp.~201~
- 807 ./code/readn-n-writn.lisp.~239~
- 1303 ./code/system-patches.lisp.~223~
- 280 ./code/package-definitions.lisp.~221~
- 1010 ./code/matcher.lisp.~220~
- 1561 ./code/ptypes-and-commands.lisp.~210~
- 94 ./code/joshua-defsystem.lisp.~206~
- 410 ./code/unification.lisp.~203~
- 70 ./metering/joshua-metering-defsystem.lisp.~5~
- 103 ./metering/metering-interface-patches.lisp.~1~
- 1973 ./metering/joshua-metering.lisp.~8~
- 59 ./examples/n-queens-backward.lisp.~3~
- 1834 ./examples/samaritan.lisp.~222~
- 945 ./examples/model-tutor.lisp.~207~
- 226 ./examples/object-modelling-tests.lisp.~6~
- 166 ./examples/im-my-own-grampaw.lisp.~202~
- 39 ./examples/package-definitions.lisp.~4~
- 1590 ./examples/planning-examples.lisp.~211~
- 581 ./examples/ht-example-modelled.lisp.~217~
- 91 ./examples/dial-demo.lisp.~2~
- 46 ./examples/jericho-defsystem.lisp.~206~
- 2115 ./examples/cryptarithmetic.lisp.~209~
- 1559 ./examples/ht-example.lisp.~207~
- 752 ./examples/tms-examples.lisp.~207~
- 100 ./examples/demosthenes.lisp.~205~
- 43 ./examples/n-queens-mixed.lisp.~3~
- 668 ./examples/widget-factory.lisp.~11~
- 34267 total
- root@gitlab:~/genera/symbolics/sys.sct/joshua#
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement