.. |
action.js
|
Add formatting headers to all hand-edited files.
|
2013-05-01 14:49:11 -04:00 |
AMScd.js
|
Add formatting headers to all hand-edited files.
|
2013-05-01 14:49:11 -04:00 |
AMSmath.js
|
Rename mfenced() to fenced() since the mrow is not really equivalent (the mo's are forced to have stretchy=true). Resolves Fred's concerns for issue #475 for now.
|
2013-05-22 14:03:38 -04:00 |
AMSsymbols.js
|
Add formatting headers to all hand-edited files.
|
2013-05-01 14:49:11 -04:00 |
autobold.js
|
Add formatting headers to all hand-edited files.
|
2013-05-01 14:49:11 -04:00 |
autoload-all.js
|
Add formatting headers to all hand-edited files.
|
2013-05-01 14:49:11 -04:00 |
bbox.js
|
Set versions to 2.2 and update copyright notice
|
2013-05-01 14:37:39 -04:00 |
begingroup.js
|
Set versions to 2.2 and update copyright notice
|
2013-05-01 14:37:39 -04:00 |
boldsymbol.js
|
Add formatting headers to all hand-edited files.
|
2013-05-01 14:49:11 -04:00 |
cancel.js
|
Address review comments for issue #481.
|
2013-05-31 09:14:47 +02:00 |
color.js
|
Set versions to 2.2 and update copyright notice
|
2013-05-01 14:37:39 -04:00 |
enclose.js
|
Add formatting headers to all hand-edited files.
|
2013-05-01 14:49:11 -04:00 |
extpfeil.js
|
Set versions to 2.2 and update copyright notice
|
2013-05-01 14:37:39 -04:00 |
HTML.js
|
Add formatting headers to all hand-edited files.
|
2013-05-01 14:49:11 -04:00 |
mathchoice.js
|
Add formatting headers to all hand-edited files.
|
2013-05-01 14:49:11 -04:00 |
mhchem.js
|
Set versions to 2.2 and update copyright notice
|
2013-05-01 14:37:39 -04:00 |
newcommand.js
|
Set versions to 2.2 and update copyright notice
|
2013-05-01 14:37:39 -04:00 |
noErrors.js
|
Add formatting headers to all hand-edited files.
|
2013-05-01 14:49:11 -04:00 |
noUndefined.js
|
Add formatting headers to all hand-edited files.
|
2013-05-01 14:49:11 -04:00 |
unicode.js
|
Add formatting headers to all hand-edited files.
|
2013-05-01 14:49:11 -04:00 |
verb.js
|
Set versions to 2.2 and update copyright notice
|
2013-05-01 14:37:39 -04:00 |