[Texmacs-dev] [patch #9884] Parser: keywords and operators parser on Java and Scala

[Joris van der Hoeven]

Update of patch #9884 (project texmacs):

             Open/Closed:                    Open => Closed                 

    _______________________________________________________

Follow-up Comment #1:

Patch has already been applied (it seems).


    _______________________________________________________

Reply to this item at:

  <https://savannah.gnu.org/patch/?9884>

_______________________________________________
  Message sent via Savannah
  https://savannah.gnu.org/


_______________________________________________
Texmacs-dev mailing list
Texmacs-dev@gnu.org
https://lists.gnu.org/mailman/listinfo/texmacs-dev