Move back to xnf-nav instead of fangle nav to get rid of extra white-space in text... latest-2
tree95c4e1c13ecd9b29be3ce538ffa62176f863e35b
-rw-r--r-- 20 .gitattributes
-rw-r--r-- 35147 COPYING
-rw-r--r-- 23510 COPYING.cc-by-sa
-rw-r--r-- 2322 README
drwxr-xr-x - docs
drwxr-xr-x - examples
-rw-r--r-- 29422 fangle
-rw-r--r-- 477209 fangle.html
-rw-r--r-- 5452 fangle.module
-rw-r--r-- 725004 fangle.pdf
-rw-r--r-- 154304 fangle.tm
-rw-r--r-- 34841 fangle.ts
-rw-r--r-- 170625 fangle.txt
-rw-r--r-- 100 git-fix-texmacs
-rw-r--r-- 33140 literate.lyx
drwxr-xr-x - www