diff man/mark.texi @ 72114:fe7f8d2385f8

(find_string_data_in_pure): New function. (make_pure_string): Use it to reuse existing string data if possible.
author YAMAMOTO Mitsuharu <mituharu@math.s.chiba-u.ac.jp>
date Tue, 25 Jul 2006 10:10:19 +0000
parents dc2d5a6655a3
children d8c9fc01d95e c5406394f567
line wrap: on
line diff