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

[Darcy Shen]

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

                 Summary: Parser: keywords and operators parser on Java and
Scala 
                 Project: GNU TeXmacs
            Submitted by: sadhen
            Submitted on: Sat 18 Jan 2020 10:10:59 PM CST
                Category: Editor
                  Action: None
                 Privacy: Public
             Assigned to: vdhoeven
        Originator Email: 
             Open/Closed: Open
                 Release: 
         Discussion Lock: Any
           Fixed Release: 
                  Stable: 

    _______________________________________________________

Details:

see https://github.com/texmacs/texmacs/pull/35

Use the following command to download the diff to /tmp/diff.


wget https://github.com/texmacs/texmacs/pull/35.diff -O /tmp/diff





    _______________________________________________________

Reply to this item at:

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

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