aboutsummaryrefslogtreecommitdiff
path: root/plugins/syntax/numeral.ml
AgeCommit message (Expand)Author
2018-11-28Factor out common code in numeral/string notationsJason Gross
2018-09-19Fix Numeral Notations (4/4 - fixing synch)Jason Gross
2018-09-19Fix Numeral Notations (3/4 - moving more stuff)Jason Gross
2018-09-19Fix Numeral Notations (2/4 - exceptions, usr_err)Jason Gross
2018-09-19Fix Numeral Notations (1/4 - moving things)Jason Gross
2018-08-31Make Numeral Notation obey Local/GlobalJason Gross
2018-08-31[numeral notations] support aliasesJason Gross
2018-08-31Add Numeral Notation GlobRef printing/parsingJason Gross
2018-08-31Add periods in response to PR commentsJason Gross
2018-08-31Move g_numeral.ml4 to numeral.mlJason Gross
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-07 10:55:12 +0000