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

Darcy Shen <[email protected]> Sat, 18 Jan 2020 09:11:00 -0500 (EST)

Newsgroups	gmane.editors.texmacs.devel
Message-ID	<[email protected]>

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/


_______________________________________________
Texmacs-dev mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/texmacs-dev