Slava Pestov eed7b20c7f ui.tools.browser: don't add current page to history if re-displaying it again		2009-05-01 07:36:47 -05:00
..
history	…
popups	Move cross-referencing stuff to tools.crossref since compiler doesn't depend on it anymore, and compute cross-referencing index as needed; reduces image size by ~4Mb	2009-04-22 04:20:38 -05:00
authors.txt	…
browser-docs.factor	…
browser-tests.factor	…
browser.factor	ui.tools.browser: don't add current page to history if re-displaying it again	2009-05-01 07:36:47 -05:00
summary.txt	…
tags.txt	…