Version comparison grain control
commit6e582c71d76ea95dbd76e94af83af0e1ebeb5ed9
authorvdhoeven <vdhoeven@64cb5145-927a-446d-8aed-2fb7b4773692>
Thu, 22 Apr 2010 17:52:41 +0000 (22 17:52 +0000)
committervdhoeven <vdhoeven@64cb5145-927a-446d-8aed-2fb7b4773692>
Thu, 22 Apr 2010 17:52:41 +0000 (22 17:52 +0000)
tree4e4bc1b8f6590de50025a3d3020399ab585e602f
parentba70f74762450abdae6e12e3c93c5344b483077b
Version comparison grain control

git-svn-id: svn://svn.savannah.gnu.org/texmacs/trunk@2970 64cb5145-927a-446d-8aed-2fb7b4773692
src/TeXmacs/progs/version/version-compare.scm
src/TeXmacs/progs/version/version-menu.scm