7 Commits

Author	SHA1	Message	Date
david	337e67859a	Add new navigation bar for document pages, made up of icon box + tabs. ... Integrated search screen with doctable, for incremental searching. You can now go back and forth between compact and expanded doctables. New statistics on lintadas run times. Only error-checked docs can be mirrored. URLParse now defaults to EN if the url doesn't say. Publisher accepts URLParse's EN if there's no referer. Closes #91082. Add collection, layout, short_title to search form.	2002-08-28 16:40:34 +00:00
david	145c6a675a	remove ERROR printing.	2002-08-28 03:52:07 +00:00
david	eafd5d07b2	display label that was not found.	2002-08-27 13:06:47 +00:00
david	b297feafd5	Remove vestiges of "A" pub_status_code.	2002-08-25 18:59:11 +00:00
david	9ed4fa9935	Improvements in the Makefile.py system. ... More statistics, on document formats. Cleaner stylesheet. Record Lintadas time in lint_time, do not mirror w/o lint_time set.	2002-08-24 18:33:52 +00:00
david	20afd0d771	Lots more Makefile.py and related work.	2002-08-23 00:59:11 +00:00
david	e1e05ee0c8	Add new tables for error types. ... Some refactoring of errors.	2002-08-21 17:43:16 +00:00