patchGNU TeXmacs - Patches: patch #2733, Provides improved typesetting of...


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

patch #2733: Provides improved typesetting of LET rules in the Maxima plugin

Submitter:  Marek Rychlik <rychlik>
Submitted:  Wed 03 Mar 2004 03:03:15 AM UTC
Category:  Plugins Action:  Update
Privacy:  Public Assigned to:  grozin
Open/Closed:  Open Release:
Fixed Release:  Stable: 

Mon 03 Mar 2014 10:09:58 PM UTC, comment #3: 

Andrey: did you ever consider applying this patch?

It seems interesting, and could probably be integrated after some tweaking to update it.

Joris van der Hoeven <vdhoeven>
Group administrator
Thu 04 Mar 2004 03:34:07 PM UTC, comment #2: 

Also, if you think the patch is also relevent to the stable version, you should set Action to Apply Both.

David Allouche <ddaa>
Group administrator
Thu 04 Mar 2004 03:33:24 PM UTC, comment #1: 

Thanks for the patch.

A few comments about patch submission:
New patches should be Assigned to "vdhoeven" (not default) with Action "Apply" (default).
The Release should be the latest of texmacs the patch applies cleanly to.
Diffs with at least 3 lines of context are preferred (because they allow for inexact patching). Use options -U3 or -C3 to diff.
When there is an appropriate Category, it should be used. I have just created a Plugins category.

David Allouche <ddaa>
Group administrator
Wed 03 Mar 2004 03:03:15 AM UTC, original submission:  

Marek Rychlik <rychlik>
Group Member


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

Attached Files
file #7026:  diffs added by rychlik (1KiB - application/octet-stream - patch created with cvs diff -r TeXmacs-1_0_3_3 src/plugins/maxima/lisp/texmacs-maxima-5.9.0.lisp > diffs)


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)

    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 6 latest changes.

    Date Changed by Updated Field Previous Value => Replaced by
    2014-03-03 vdhoeven ActionApply Update
        Assigned tovdhoeven grozin
    2004-03-04 ddaa CategoryNone Plugins
    2004-03-04 ddaa Assigned toNone vdhoeven
    2004-03-03 rychlik Attached File- Added diffs, #2841

    Back to the top

    Powered by Savane 3.13-a854.
    Corresponding source code