c4586387f6
In description of \D, revise markup so that the caret shows up in the HTML
...
version as well as the dvi form. Without the fix, it showed up as an extra
zero character.
Bug reported by Hugh Sasse <hgs@dmu.ac.uk>.
1998-01-06 15:46:21 +00:00
eb0f066fb8
Correct small nits reported by Rob Hooft.
1997-12-30 20:38:16 +00:00
e66e9c5562
Remove more commented-out text that is no longer needed.
1997-12-29 21:43:04 +00:00
29d3b9368c
Remove the commented-out warning at the top. It shouldn't be there
...
for the 1.5 release version of the file.
1997-12-29 21:42:03 +00:00
78f8e98232
Lots of minor nits that allow this file to get processed without failures by
...
the info generation phases. Most of the errors had occurred in the makeinfo
step.
Commented out the warning at the top; this should still really be removed
before 1.5, but that's not my call. It generated problems for the info
conversion as well.
1997-12-29 21:39:39 +00:00
f9951818a6
Normalized the \seetext markup to match the only other instance: should be
...
"\seetext{...}" instead of "\seetext ...".
1997-12-29 16:37:04 +00:00
0148bbf966
AMK's latest
1997-12-22 22:41:40 +00:00
e4eb2231fd
AMK's latest
1997-12-17 00:23:39 +00:00
48d0437d1d
AMK's latest version.
1997-12-11 20:19:08 +00:00
bd49ac4492
The 'l' flag (locale specific matching) has been renamed to 'L'.
1997-12-10 23:05:53 +00:00
a42c17851c
Turn the table for flags into a nested itemized environment.
1997-12-09 20:41:47 +00:00
0b334104ac
New version from AMK -- with minor corrections to make it legal latex.
1997-12-08 17:33:40 +00:00
4552f3d6de
In the description of sub(), give a better explanation of the
...
interface when repl is a function. Also give a simple example of
using a function repl.
1997-11-20 00:15:13 +00:00
d7dc2eb708
Put {} around \^ in sets to force latex2html to do the right thing...
1997-10-22 03:03:44 +00:00
eb53ae4928
Fixed some stuff that was incorrectly copied from regex.
1997-10-05 18:54:07 +00:00
1acceb0650
Added AMK's first cut at docs for re.py
1997-08-14 23:12:18 +00:00
Fred Drake
Guido van Rossum
Barry Warsaw