8 commits

Author	SHA1	Message	Date
Gerd Moellmann	01d19dd7bd	Eliminate time-stamp functions. ... (ebnf-version): New version (3.5). (ebnf-eps-finish-and-write): Replace time-stamp functions by format-time-string.	2001-02-05 11:21:33 +00:00
Gerd Moellmann	6a5275dc6d	Fix a problem with skip-chars-forward: it doesn't accept ... ranges like \177-\237, but accepts the character sequence from \177 to \237. Doc fix. (ebnf-version): New version (3.4). (ebnf-setup): Code fix. (ebnf-range-regexp): New fun. (ebnf-8-bit-chars): Const fix.	2000-12-21 21:22:34 +00:00
Gerd Moellmann	bf061ba601	Doc fix. ... (ebnf-version): New version (3.3). (ebnf-user-arrow): Change variable customization to sexp. (ebnf-user-arrow): Function eliminated. (ebnf-eps-finish-and-write, ebnf-insert-ebnf-prologue): Code fix.	2000-08-29 10:58:13 +00:00
Gerd Moellmann	5268b4422d	Get around a bug on skip-chars-forward. ... (ebnf-8-bit-chars): New var for bug fix. (ebnf-string): Bug fix.	2000-08-03 20:11:01 +00:00
Gerd Moellmann	b685181ebb	Update ps-print functions call. Indentation fix. Doc ... fix. (ebnf-version): New version number (3.2). (ebnf-format-color, ebnf-begin-job): Code fix.	2000-08-01 19:58:35 +00:00
Gerd Moellmann	8d9ea7b12a	Update copyright.	2000-01-31 20:11:54 +00:00
Gerd Moellmann	887448e1e3	(ebnf-syntax): Doc fix	2000-01-29 12:02:36 +00:00
Gerd Moellmann	984ae00171	*** empty log message ***	2000-01-27 14:31:16 +00:00