steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
factor/basis/ui/tools
History
Slava Pestov 9bf63b1613 New $quotation markup element 2008-11-16 09:03:30 -06:00
..
browser Fix permission bits 2008-10-02 08:34:49 -05:00
debugger New $quotation markup element 2008-11-16 09:03:30 -06:00
deploy Don't load random number generator on bootstrap 2008-11-06 01:30:59 -06:00
inspector Fix ridiculous indentation, over (>>foo), and other crap in UI 2008-09-27 14:36:04 -05:00
interactor Fix permission bits 2008-10-02 08:34:49 -05:00
listener Usability tweak: focus on listener input area when input presentation is clicked 2008-11-11 11:46:35 -06:00
operations Fix permission bits 2008-10-02 08:34:49 -05:00
profiler Fix permission bits 2008-10-02 08:34:49 -05:00
search Fix permission bits 2008-10-02 08:34:49 -05:00
traceback Fix permission bits 2008-10-02 08:34:49 -05:00
walker Fix permission bits 2008-10-02 08:34:49 -05:00
workspace Fix permission bits 2008-10-02 08:34:49 -05:00
authors.txt
…
summary.txt
…
tags.txt
…
tools-docs.factor Change title to be more consistent 2008-11-05 04:28:13 -06:00
tools-tests.factor Fix permission bits 2008-10-02 08:34:49 -05:00
tools.factor Fix an UI bug and remove some pick usages 2008-10-20 23:28:02 -05:00