LatexTools needs to be rewritten to use java.util.regex

jEdit is a programmer's text editor written in Java.

Brought to you by: daleanson, ezust, grepppo, k_satoda, and 5 others

Status: open

Owner: nobody

Labels: None

Priority: 7

Updated: 2006-06-09

Created: 2006-06-09

Private: No

gnu.regex is deprecated. latextools needs to be
rewritten to use java.util.regex.