comparison scripts/java/javamem.m @ 17328:ea23eb07f8ed

Add missing TeX symbols and fix few others (bug #39828). * libinterp/corefcn/oct-tex-lexer.ll (ID): Allow digit characters. * libinterp/corefcn/txt-eng.cc (symbol_names): Add "angle", "ast", "sim", "Leftarrow" and "Rightarrow". (symbol_codes): Likewise. Fix unicode values for symbols "langle" and "rangle".
author Michael Goffioul <michael.goffioul@gmail.com>
date Fri, 23 Aug 2013 11:47:04 -0400
parents 12005245b645
children
comparison
equal deleted inserted replaced
17327:27fc61cfbc6e 17328:ea23eb07f8ed