Fixes for dvi output original version of page selection for printing
@bGeorg Baum
@iE-mail: georg.baum@post.rwth-aachen.de
- tex2lyx improvements
+ tex2lyx improvements, bug fixes, unicode work
@bHans Bausewein
@iE-mail: hans@comerwell.xs4all.nl
"case insensitive" and "complete word" search