[doconce] push by h...@simula.no - updates on 2013-06-17 07:39 GMT

[doc...@googlecode.com]

Revision: dcd8fcb00640
Branch: default
Author: "Hans Petter Langtangen <h...@simula.no>"
Date: Sun Jun 9 04:52:30 2013
Log: updates
http://code.google.com/p/doconce/source/detail?r=dcd8fcb00640

Modified:
/doc/manual/manual.do.txt
/lib/doconce/misc.py

=======================================
--- /doc/manual/manual.do.txt Sat Jun 15 03:44:39 2013
+++ /doc/manual/manual.do.txt Sun Jun 9 04:52:30 2013
@@ -1806,6 +1806,10 @@

===== Emacs Doconce Formatter =====
label{emacs:doconce}
+
+## Note: check http://www.latex-community.org/viewtopic.php?f=28&t=208
+## for highly configurable latex editors that perhaps can be adapted
+## to doconce (Kile seems to be the choice because of extensibility)

The
file ".doconce-mode.el": "https://doconce.googlecode.com/hg/misc/.doconce-mode.el"
in the Doconce source distribution
gives a "Doconce Editing Mode" in Emacs.
=======================================
--- /lib/doconce/misc.py Sun Jun 16 22:16:28 2013
+++ /lib/doconce/misc.py Sun Jun 9 04:52:30 2013
@@ -6011,10 +6011,10 @@
diffprog = 'difflib'

if diffprog == 'difflib':
- diff_files = pydiff(file1, file2)
- if diff_files:
+ diffing_files = pydiff(file1, file2)
+ if diffing_files:
print 'differences found, see ', \
- ','.join([name + '.html|.txt' for name in diff_files])
+ ','.join([name + '.html|.txt' for name in diffing_files])

elif diffprog == 'latexdiff':
if which('latexdiff'):