nicolas-p 883d7e09d9 Other small adjustment in browser toolbar		2015-08-16 07:53:32 -07:00
..
browser	Other small adjustment in browser toolbar	2015-08-16 07:53:32 -07:00
common	Fixed USING:	2015-08-16 07:53:30 -07:00
debugger	Fixed USING:	2015-08-16 07:53:30 -07:00
deploy	core, basis, extra: Remove DOS line endings from files.	2015-06-29 17:25:40 -07:00
error-list	Fixed compatibility issue with labeled gadget	2015-08-16 07:53:31 -07:00
inspector	Improved contents table in Inspector	2015-08-16 07:53:31 -07:00
listener	Fixed compatibility issue with labeled gadget	2015-08-16 07:53:31 -07:00
operations	parser, source-files: you need to bootstrap after this patch.	2015-07-23 22:03:43 -07:00
traceback	Fixed compatibility issue with labeled gadget	2015-08-16 07:53:31 -07:00
walker	Fixed USING:	2015-08-16 07:53:30 -07:00
authors.txt	…
summary.txt	…
tags.txt	…
tools-docs.factor	kill tools.profiler.counting and ui.tools.profiler	2011-11-10 12:33:10 -08:00
tools.factor	ui.tools: adding Ctrl-Shift-F for "toggle fullscreen".	2011-03-07 15:08:26 -08:00