patch
Public
Actions

Authored By

	• bzimport
	Nov 21 2014, 10:39 PM

Size

783 B

Referenced Files

None

Subscribers

None

patch
View Options

	Index: math/lexer.mll
	===================================================================
	--- math/lexer.mll (revision 78549)
	+++ math/lexer.mll (working copy)
	@@ -11,8 +11,8 @@
	let delimiter_uf_lt = ['(' ')' '.']
	let literal_uf_op = ['+' '-' '*' '=']
	let delimiter_uf_op = ['/' '\|']
	-let boxchars = ['0'-'9' 'a'-'z' 'A'-'Z' '+' '-' '*' ',' '=' '(' ')' ':' '/' ';' '?' '.' '!' ' ' '\128'-'\255']
	-let aboxchars = ['0'-'9' 'a'-'z' 'A'-'Z' '+' '-' '*' ',' '=' '(' ')' ':' '/' ';' '?' '.' '!' ' ']
	+let boxchars = ['0'-'9' 'a'-'z' 'A'-'Z' '+' '-' '*' ',' '=' '(' ')' ':' '/' ';' '?' '.' '!' '\'' '`' ' ' '\128'-'\255']
	+let aboxchars = ['0'-'9' 'a'-'z' 'A'-'Z' '+' '-' '*' ',' '=' '(' ')' ':' '/' ';' '?' '.' '\'' '`' '!' ' ']

	rule token = parse
	space + { token lexbuf }

File Metadata

Mime Type: text/x-diff
Storage Engine: blob
Storage Format: Raw Data
Storage Handle: 5312
Default Alt Text: patch (783 B)

Event Timeline