|
build
|
Add a setup rule to Makefile
|
2013-07-30 13:54:43 -07:00 |
|
dockers/MathJaxFonts
|
Fix the docker command
|
2014-08-30 22:42:26 -07:00 |
|
metrics
|
Add accents
|
2014-09-13 21:30:35 -07:00 |
|
static
|
Add accents
|
2014-09-13 21:30:35 -07:00 |
|
test
|
Add accents
|
2014-09-13 21:30:35 -07:00 |
|
.arcconfig
|
Rename everything to KaTeX
|
2013-07-10 14:08:50 -07:00 |
|
.gitignore
|
Somehow manage to fix the sizing bugs
|
2014-03-20 21:36:37 -04:00 |
|
.travis.yml
|
Enable travis-ci.org
|
2014-09-12 17:50:39 -07:00 |
|
buildCommon.js
|
Add accents
|
2014-09-13 21:30:35 -07:00 |
|
buildTree.js
|
Add accents
|
2014-09-13 21:30:35 -07:00 |
|
delimiter.js
|
Add limit operators
|
2014-09-12 14:58:58 -07:00 |
|
domTree.js
|
Add accents
|
2014-09-13 21:30:35 -07:00 |
|
fontMetrics.js
|
Add accents
|
2014-09-13 21:30:35 -07:00 |
|
functions.js
|
Add accents
|
2014-09-13 21:30:35 -07:00 |
|
katex.js
|
Add code for generating HTML
|
2014-09-12 17:59:26 -07:00 |
|
Lexer.js
|
Fix our parsing strategy so it is the same as (or very similar to) TeX's
|
2014-09-09 23:18:37 -07:00 |
|
LICENSE.txt
|
Add MIT License
|
2014-01-31 17:47:12 -08:00 |
|
lint_blacklist.txt
|
Fix our parsing strategy so it is the same as (or very similar to) TeX's
|
2014-09-09 23:18:37 -07:00 |
|
Makefile
|
Add the ability to extract metrics from ttfs
|
2014-09-12 14:59:28 -07:00 |
|
Options.js
|
Fix font sizing issues
|
2014-08-27 01:12:15 -07:00 |
|
package.json
|
Improve testing
|
2014-09-12 13:30:30 -07:00 |
|
ParseError.js
|
Make errors more informative
|
2014-03-30 23:05:37 -04:00 |
|
Parser.js
|
Add style changing functions
|
2014-09-10 17:10:38 -07:00 |
|
parseTree.js
|
Fix our parsing strategy so it is the same as (or very similar to) TeX's
|
2014-09-09 23:18:37 -07:00 |
|
README.md
|
Add Travis badge to README
|
2014-09-14 16:02:52 -07:00 |
|
server.js
|
Improve testing
|
2014-09-12 13:30:30 -07:00 |
|
Style.js
|
Add support for \left and \right
|
2014-09-04 21:58:43 -07:00 |
|
symbols.js
|
Add accents
|
2014-09-13 21:30:35 -07:00 |
|
utils.js
|
Add code for generating HTML
|
2014-09-12 17:59:26 -07:00 |
