dépôts / lhc / web / wiklou.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c1dd831) | patch
(bug 19159) Fixed missing tex_use_ams() for \overleftrightarrow. Patch suggested...
authorTim Starling <tstarling@users.mediawiki.org>
Thu, 12 Nov 2009 01:50:02 +0000 (01:50 +0000)
committerTim Starling <tstarling@users.mediawiki.org>
Thu, 12 Nov 2009 01:50:02 +0000 (01:50 +0000)
commit65b060d512467b7a9cee18696c63ea0abff109e6
treeea6d24728e0bc56dcc00a97ce4af22f1c6bcde2ctree | snapshot
parentc1dd8318ddeaf49d6f4675b913a9ebb4b5f48e9ecommit | diff
(bug 19159) Fixed missing tex_use_ams() for \overleftrightarrow. Patch suggested by cirwin. Tested only compilation.
RELEASE-NOTES diff | blob | history
math/texutil.ml diff | blob | history
Wiklou, le Wiki du Wiklou