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
Texmacs-dev@gnu.org
https://lists.gnu.org/mailman/listinfo/texmacs-dev
