diff oct-conf-post.in.h @ 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 5293cee91891
children
line wrap: on
line diff