Commit Graph

265 Commits

Author SHA1 Message Date
Thalia eac71ab60f Add tool to create SVG files of LaTeX symbols
Also produces a CSS file for the symbol buttons, using the
SVG filenames. Gets the list of symbols from symbols.json.

Bug: T118660
Change-Id: Iaa792418d870a7e266b6455ef037994e31278278
2015-11-19 04:11:59 +00:00
Translation updater bot 1c239d233a Localisation updates from https://translatewiki.net.
Change-Id: Ia3aa6899ea810a6cbc9ae68bf2b0c4a2df04c89b
2015-11-16 22:16:13 +01:00
Translation updater bot 451fb11e8d Localisation updates from https://translatewiki.net.
Change-Id: Ibec28b1013a0949bf5836b467d573ffa0cb4c2bd
2015-11-05 21:43:56 +01:00
Translation updater bot 7700840b35 Localisation updates from https://translatewiki.net.
Change-Id: If7f4322d6d0aba43ea40241fc5b63d2a67e71fea
2015-10-31 21:06:02 +01:00
Translation updater bot f5769154d6 Localisation updates from https://translatewiki.net.
Change-Id: I07e3b631979bad6b2dd18a0afeaa56541369e49f
2015-10-30 21:48:56 +01:00
Translation updater bot 1b71eb1b55 Localisation updates from https://translatewiki.net.
Change-Id: Id51bfe4e86f3f96b14febf333700b916803c9b5c
2015-10-25 22:05:21 +01:00
Translation updater bot c0f1dc56d7 Localisation updates from https://translatewiki.net.
Change-Id: If0db5b015a3b9107e6f9d6ec338251f9fdba94a2
2015-10-23 21:44:25 +02:00
Translation updater bot 3a405a6f54 Localisation updates from https://translatewiki.net.
Change-Id: Ibe0f987278569c0cb7eba2f66c7f34ad55ed2f22
2015-10-20 22:48:18 +02:00
Translation updater bot c0246d6831 Localisation updates from https://translatewiki.net.
Change-Id: I0e53ce7285eaba7e3a99bb9f788261e9fe5b101e
2015-10-19 22:17:45 +02:00
Translation updater bot 3e1e5a86a7 Localisation updates from https://translatewiki.net.
Change-Id: I59f45cf360fdab887e85a93891dd3114b250f45c
2015-10-15 09:44:55 +02:00
Translation updater bot 7f65f3f93e Localisation updates from https://translatewiki.net.
Change-Id: I525e1f94e230379e5bffb3fceee7953c3fbeae0d
2015-10-11 21:23:16 +02:00
Translation updater bot bc2dff440d Localisation updates from https://translatewiki.net.
Change-Id: Iff77bac653636a4d7c2b3d699776312fc13f901d
2015-10-08 23:07:56 +02:00
Translation updater bot e103ede7e4 Localisation updates from https://translatewiki.net.
Change-Id: Ic07ef6b34ffa4c2da609d5d55aa8c441a7e750a3
2015-09-28 22:46:05 +02:00
Translation updater bot 6c158a5d85 Localisation updates from https://translatewiki.net.
Change-Id: I1d297980e04f74b44f1525146521adcaf6f14fb7
2015-09-26 21:14:44 +02:00
Translation updater bot 5dbfe59cf5 Localisation updates from https://translatewiki.net.
Change-Id: Id741c933c8a30b46f2f50234e4d1275cd51c149e
2015-09-21 21:56:43 +02:00
Translation updater bot 3498c5a479 Localisation updates from https://translatewiki.net.
Change-Id: Id80819f1fa7504d72491c8b199b091ac5848cbee
2015-09-19 23:10:10 +02:00
Translation updater bot 0a7e1307d7 Localisation updates from https://translatewiki.net.
Change-Id: I3366b1271c335df7a83263f3e0c967fbc7954404
2015-09-17 22:39:27 +02:00
Translation updater bot 0407653730 Localisation updates from https://translatewiki.net.
Change-Id: I1dc5c992c9228191622f91abf46d729e0cf0564c
2015-09-15 22:47:40 +02:00
Translation updater bot 8803a23181 Localisation updates from https://translatewiki.net.
Change-Id: I04cce226361b4d56b65e042fb5ea2824789b8c6f
2015-09-14 22:05:47 +02:00
Translation updater bot eda7f7e5c5 Localisation updates from https://translatewiki.net.
Change-Id: I418dc6a3a6c50e54d779e0aa4c3c15cc5e5c2ad8
2015-09-13 22:12:26 +02:00
Translation updater bot 4c66f92413 Localisation updates from https://translatewiki.net.
Change-Id: I592c020a56af69994f8aa22734772ae1421c41fe
2015-09-09 22:03:01 +02:00
Translation updater bot 2e22a83229 Localisation updates from https://translatewiki.net.
Change-Id: I60c489aa70600bf8c2fbe1f69b780e7af5be66f9
2015-09-06 21:40:53 +02:00
Translation updater bot 9e4a8a1217 Localisation updates from https://translatewiki.net.
Change-Id: I02569cff4eed77ff53b7cf314f4e0f256783ed34
2015-09-05 21:07:44 +02:00
Translation updater bot 2a3c8e0dee Localisation updates from https://translatewiki.net.
Change-Id: Iee8cdb9833087eac02ab116e7e20b24a0ea0bfb3
2015-09-04 21:51:28 +02:00
Translation updater bot d9ea7dfd09 Localisation updates from https://translatewiki.net.
Change-Id: I8abf5e355fa0ea8adddb1af2aacc3688f1cf2238
2015-08-30 21:09:12 +02:00
Translation updater bot b0dce0fe46 Localisation updates from https://translatewiki.net.
Change-Id: I29222d095407c061b3270069a031ea68e3c565e3
2015-08-23 21:37:06 +02:00
Translation updater bot 10cce7b768 Localisation updates from https://translatewiki.net.
Change-Id: Ie575e0e23b7beaeef8f32fe9d635cb513cc4a1b9
2015-08-22 23:12:38 +02:00
Translation updater bot 9593078037 Localisation updates from https://translatewiki.net.
Change-Id: Id4b2956ca5846a0e07c49b591d68c2cedaa747c4
2015-08-14 22:10:39 +02:00
Translation updater bot 9b289d4284 Localisation updates from https://translatewiki.net.
Change-Id: I3b8c98ba5312626d0f5d14a4717ab29dbd8f3ef9
2015-08-13 20:56:41 +02:00
Translation updater bot 004e4a8216 Localisation updates from https://translatewiki.net.
Change-Id: I49d8cce686dad6de2a6b29ec7070196d095307e0
2015-08-11 22:08:56 +02:00
Translation updater bot dfe8021b38 Localisation updates from https://translatewiki.net.
Change-Id: I11f751a44f101975ad4ddfe414f3f9807b17592e
2015-08-10 21:59:16 +02:00
Translation updater bot 0fe7767277 Localisation updates from https://translatewiki.net.
Change-Id: Ia4e1c5823e062590c38a0138b6faee8b869c7067
2015-08-09 20:47:50 +02:00
Translation updater bot 90e0f3f6b6 Localisation updates from https://translatewiki.net.
Change-Id: I656ff02dba82680d2bec8a907e615dd00c79e3a5
2015-08-06 21:37:39 +02:00
Translation updater bot 77f6e3cea5 Localisation updates from https://translatewiki.net.
Change-Id: Ib1cc01339057d828c087c6ec52b9238e2c652575
2015-08-05 22:35:53 +02:00
Translation updater bot 82db12579e Localisation updates from https://translatewiki.net.
Change-Id: I55818597b7892b0bf2bbc13fb151477d66299936
2015-08-04 23:16:54 +02:00
Translation updater bot da445d8c8f Localisation updates from https://translatewiki.net.
Change-Id: I0035ba8c0ab8bd670d4952725023dfebf5cbb483
2015-08-03 22:04:47 +02:00
Translation updater bot 876f09b423 Localisation updates from https://translatewiki.net.
Change-Id: Ida8d26eb215c52c3e1ed6b2eccb1b1acaa9f954e
2015-08-02 21:52:38 +02:00
Translation updater bot deb557d828 Localisation updates from https://translatewiki.net.
Change-Id: I081187de535aca35dcfc9bf63fb1381212770f3b
2015-08-01 21:47:30 +02:00
jenkins-bot cd65aa0e13 Merge "Add en.json credits" 2015-08-01 17:14:08 +00:00
jenkins-bot f1ecf1410e Merge "Remove double space in a message" 2015-08-01 14:27:14 +00:00
Amir E. Aharoni 01fb7d0736 Remove double space in a message
Change-Id: I67e529e974c19b182a8ce981ea31c19adfb0c917
2015-08-01 12:13:41 +03:00
Amir E. Aharoni 629d9541fb Add en.json credits
Using `git blame` and `git shortlog -s -n`
on en.json and Math.i18n.php.

Change-Id: I942748b68cd707d19308e048e3b2c835ed8473fb
2015-08-01 12:11:19 +03:00
Amir E. Aharoni efc8e845f8 Add full stop to a message for consistency with a similar message
Change-Id: I2a5251286c9522688c842785089390045fe9d3ae
2015-08-01 12:10:12 +03:00
Amir E. Aharoni 992f781c88 Convert spaces to tabs in en.json
According to the usual i18n json convention.

Change-Id: Ic288f4dbf12d9c3bc04e28cb5cb64f153cdc76b5
2015-08-01 12:06:41 +03:00
Translation updater bot 31f80b4161 Localisation updates from https://translatewiki.net.
Change-Id: I0507b61d408d6b192e11736b6a4be9fbc48a402d
2015-07-31 21:47:52 +02:00
physikerwelt 40c6bb69af Add info about failed tests to MathStatus
* Prints expected and real results for failed tests.
* Adopts to the new LaTeXML naming conventions.

Bug: T94434
Change-Id: I72bc6df7e9a85ae5c14cc7f82df072adfa65b67e
2015-07-31 08:40:00 +00:00
Translation updater bot e32ba69383 Localisation updates from https://translatewiki.net.
Change-Id: Ia996ef6b63930008c038f6f25d0957d581e24b90
2015-07-28 21:49:29 +02:00
Translation updater bot ebf78d9aa3 Localisation updates from https://translatewiki.net.
Change-Id: I701b1a8674667ddd953ba0cb24cf2f5dde6972df
2015-07-26 21:40:04 +02:00
Translation updater bot 5477d44323 Localisation updates from https://translatewiki.net.
Change-Id: I441bbee800381bdf2919dc26de1d77b17493cc1f
2015-07-25 21:57:18 +02:00
Translation updater bot a3c1b0d61f Localisation updates from https://translatewiki.net.
Change-Id: I0cde7bb467e3dd3e87bf2dda6924066a2abc919b
2015-07-24 21:07:48 +02:00