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