Taddeus Kroes aed5ec181f Multiplication sign is not omitted anymore for multiplication of equal identifiers před 13 roky
..
graph_drawing @ c8ecf7081c aed5ec181f Multiplication sign is not omitted anymore for multiplication of equal identifiers před 13 roky
mathjax @ 5612b3f296 073810b9d7 Added MathJax as an external dependency. před 14 roky
pybison @ 0a49121e41 ed513ed6ac Reset flex's internal buffer (depends on new pybison version). před 13 roky
testrunner @ b3263a3657 3e5a2ac48a Upgraded testrunner to latest version před 13 roky
__init__.py 3c4c11f688 Add AGPLv3 header to all source files. před 13 roky
rules.mk 14ef23ecd6 Removed old jquery target from make rules před 13 roky