434879a802
Merge remote-tracking branch 'origin/master' into modern-harvey3
2018-12-16 12:51:26 -06:00
17ed798178
*.txt: Add newlines, fix some spacing
2018-12-16 12:04:35 -06:00
4c164b1ae6
factor: change some spacing with ; on its own line
2018-03-19 00:03:27 -05:00
2cb673ccfc
readline-listener: implement vocab-word-completions.
2018-01-24 17:11:44 -08:00
d63c992d97
using when instead of [ ] if.
2017-02-09 16:29:14 -08:00
03301bf6cf
readline-listener: readline-listener can call listener-main which prints version-info
2015-10-06 13:28:38 +02:00
90111600b9
Fix two places that should be "all-disk-vocabs-recursive".
2015-06-08 14:37:36 -07:00
a4c5a748ad
core/basis: Rename words dealing with vocabs to loaded-vocabs or disk-vocabs because it's too confusing otherwise.
2015-06-08 12:47:35 -07:00
2b32e31ad2
readline-listener: print version-info.
2014-11-13 13:02:30 -08:00
a1df905535
readline-listener: fix for tools.completion renames.
2013-03-20 23:06:40 -07:00
2f4573b6f4
readline-listener: fix tab completion to complete from where the pointer is.
2012-09-25 14:13:42 -07:00
6303ed9106
readline-listener: change matching to use prefixed.
2012-09-25 09:37:50 -07:00
92396ffc4b
readline-listener: adding better support for tab completion.
2012-09-25 09:11:05 -07:00
4eeafea8be
some cleanup.
2012-07-17 08:53:40 -07:00
2ecd513130
Factor out ``no-roots no-prefixes'' into its own word. Add load-root, load-from-root, vocabs-in-root and implement load in terms of load-from-root.
...
Add error checking for append-vocab-dir and (child-vocabs) in case someone tries to pass them the wrong parameters.
Rename: vocab-dir+ to append-vocab-dir
Document load-from-root and load-root
2011-10-23 19:59:01 -05:00
13b17fb84a
io: input-stream and output-stream mixins
2011-10-18 16:25:09 -07:00
a80d176720
readline: change to create alien at run-time. Fixes #254 .
2011-10-13 13:24:56 -07:00
0f69878a9c
Make readline/readline-listener unix only
2011-08-28 16:42:55 -05:00
c492ff62a7
Add vocab completion for readline when line begins with USING:
2011-05-24 04:02:10 -04:00
b504c9af47
Modify the listener vocabulary so that readline can hook in. Add the readline-listener listener that provides word completion and readline editing.
2011-05-23 23:36:14 -04:00
Doug Coleman
John Benediktsson
Björn Lindqvist
Doug Coleman
Joe Groff
Erik Charlebois