?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: 7809561) | patch
Further improvements in DRD heuristic environment change detection
commit0e8701b2a012f47a783060b9f74281a4651da1b3
authorvdhoeven <vdhoeven@64cb5145-927a-446d-8aed-2fb7b4773692>
Sun, 13 Dec 2009 23:00:53 +0000 (13 23:00 +0000)
committervdhoeven <vdhoeven@64cb5145-927a-446d-8aed-2fb7b4773692>
Sun, 13 Dec 2009 23:00:53 +0000 (13 23:00 +0000)
tree9709211c75c16e5bb194ffe5ae0bbe70b3101f4btree | snapshot (tar.gz zip)
parent78095616b847ebe54b7e2275faada42941ae6c2bcommit | diff
Further improvements in DRD heuristic environment change detection

git-svn-id: svn://svn.savannah.gnu.org/texmacs/trunk@2883 64cb5145-927a-446d-8aed-2fb7b4773692
src/src/Data/Drd/drd_info.cpp diff | blob | blame | history
src/src/Edit/Editor/edit_typeset.cpp diff | blob | blame | history
src/src/Edit/Modify/edit_dynamic.cpp diff | blob | blame | history
src/src/Edit/Modify/edit_table.cpp diff | blob | blame | history