Marina Zhurakhinskaya aed1e67add Check that no new term was introduced before doing a subsearch ... We combine search terms with OR, so if a new search term is introduced, the search results are no longer a subset of the previous search results.		2009-10-05 13:50:58 -04:00
..
misc	String formatting: Fix warning	2009-10-05 17:59:33 +02:00
ui	Check that no new term was introduced before doing a subsearch	2009-10-05 13:50:58 -04:00
Makefile.am	Split appDisplay and docDisplay into "model" and "view" parts	2009-06-16 18:50:42 -04:00