Up to [local] / OpenXM_contrib2 / asir2000 / builtin
Request diff between arbitrary revisions
Default branch: MAIN
Current tag: RELEASE_1_2_3
Revision 1.17 / (download) - annotate - [select for diffs], Fri May 14 09:20:56 2004 UTC (20 years, 3 months ago) by noro
Branch: MAIN
CVS Tags: RELEASE_1_2_3
Changes since 1.16: +4 -5
lines
Diff to previous 1.16 (colored)
Modified the treatment of option. It is set in a variable 'current_option'. dp_ptod accepts options.