Up to [local] / OpenXM_contrib2 / asir2018 / builtin
Request diff between arbitrary revisions
Default branch: MAIN
Current tag: HEAD
Revision 1.6 / (download) - annotate - [selected], Thu Mar 11 11:47:25 2021 UTC (3 years, 6 months ago) by noro
Branch: MAIN
CVS Tags: HEAD
Changes since 1.5: +6 -1
lines
Diff to previous 1.5 (colored)
Updated subst_quote() for accepting I_PFDERIV.