Ad5001
3119c3f9dc
+ History item labels are now RichText which allows for better representation of certain items. + History item labels are now multiline + History item labels now have a very small separator to distinguish them from each other. + Separating history actions into components |
||
---|---|---|
.. | ||
history | ||
objs | ||
parsing | ||
expr-eval.js | ||
historylib.js | ||
latex.js | ||
mathlib.js | ||
objects.js | ||
parameters.js | ||
utils.js |