Preliminary synctex support
authormalc <av1474@comtv.ru>
Mon, 21 Jan 2013 04:46:03 +0000 (08:46 +0400)
committermalc <av1474@comtv.ru>
Mon, 21 Jan 2013 04:46:03 +0000 (08:46 +0400)
commitf3f7a7fdc2abbb8c1069e9f319f50b541bf36206
treeac9378fcb7e384b609bcbc7b73dfa6209b40648e
parent425bf925e001392e58c211afb34f29976fbba552
Preliminary synctex support
link.c
main.ml