5 commits

Author	SHA1	Message	Date
Abdo Roig-Maranges	1171bffb6b	replace delayed versions of page_set and position_set ... The new page_set and position_set behave as delayed, but with the immediate availability of the new positions through the document object. We no longer need to keep delayed and non-delayed versions!	2013-10-26 17:13:56 +02:00
Moritz Lipp	89e7832047	Update style	2012-10-09 01:12:18 +02:00
Moritz Lipp	a8cd10dcac	Synctex forward synchronisation	2012-09-17 17:37:36 +02:00
Moritz Lipp	a8ea4a6328	Update coding style	2012-09-17 17:23:58 +02:00
Sebastian Ramacher	49116a0834	Synctex backwards synchronization ... Thanks to Roland Schatz for the patch.	2012-07-13 15:39:16 +02:00