patchGNU TeXmacs - Patches: patch #9884, Parser: keywords and operators...

 
 

You are not allowed to post comments on this tracker with your current authentication level.

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

Submitter:  Darcy Shen <sadhen>
Submitted:  Sat 18 Jan 2020 02:10:59 PM UTC
   
 
Category:  Editor Action:  Done
Privacy:  Public Assigned to:  vdhoeven
Open/Closed:  Closed Release: 
Fixed Release:  Stable: 

Sun 23 May 2021 02:35:58 PM UTC, comment #1: 

Patch has already been applied (it seems).

Joris van der Hoeven <vdhoeven>
Group administrator
Sat 18 Jan 2020 02:10:59 PM UTC, original submission:  

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


Darcy Shen <sadhen>
Group Member

 

(Note: upload size limit is set to 16384 kB, after insertion of the required escape characters.)

No files currently attached

 

Depends on the following items: None found

Items that depend on this one: None found

 

Carbon-Copy List
  • -email is unavailable- added by vdhoeven (Posted a comment)
  • -email is unavailable- added by sadhen (Submitted the item)
  • -email is unavailable- added by sadhen
  •  

    There are 0 votes so far. Votes easily highlight which items people would like to see resolved in priority, independently of the priority of the item set by tracker managers.

     

    Follow 3 latest changes.

    Date Changed by Updated Field Previous Value => Replaced by
    2021-05-23 vdhoeven Open/ClosedOpen Closed
    2020-10-11 sadhen ActionNone Done
    2020-01-18 sadhen Carbon-Copy- Added -email is unavailable-

    Back to the top

    Powered by Savane 3.13-4448.
    Corresponding source code