"Fossies" - the Fresh Open Source Software Archive  

Source code changes of the file "src/Data/Convert/Coq/parse_vernac.cpp" between
TeXmacs-1.99.4-src.tar.gz and TeXmacs-1.99.5-src.tar.gz

About: GNU TeXmacs is a what-you-see-is-what-you-get scientific text editor, which was both inspired by TeX and GNU Emacs.

parse_vernac.cpp  (TeXmacs-1.99.4-src):parse_vernac.cpp  (TeXmacs-1.99.5-src)
skipping to change at line 375 skipping to change at line 375
return compound ("itemize", r); return compound ("itemize", r);
} }
/* Parse pretty printing managment *******************************************/ /* Parse pretty printing managment *******************************************/
// TODO. // TODO.
// Nota: this interesting feature is used nowhere in Coq sources // Nota: this interesting feature is used nowhere in Coq sources
static void static void
parse_pretty_printing_definition (string s) { parse_pretty_printing_definition (string s) {
(void) s;
} }
static void static void
parse_pretty_printing_removal (string s) { parse_pretty_printing_removal (string s) {
(void) s;
} }
static bool static bool
is_defining_pretty_printing (string s, int i) { is_defining_pretty_printing (string s, int i) {
(void) s; (void) i;
return false; return false;
} }
static bool static bool
is_removing_pretty_printing (string s, int i) { is_removing_pretty_printing (string s, int i) {
(void) s; (void) i;
return false; return false;
} }
/* Main parse routine ********************************************************/ /* Main parse routine ********************************************************/
static tree static tree
coqdoc_to_tree (string s) { coqdoc_to_tree (string s) {
bool newline= true; bool newline= true;
int i=0, n= N(s); int i=0, n= N(s);
tree coqdoc (DOCUMENT), line (CONCAT); tree coqdoc (DOCUMENT), line (CONCAT);
 End of changes. 4 change blocks. 
0 lines changed or deleted 4 lines changed or added

Home  |  About  |  All  |  Newest  |  Fossies Dox  |  Screenshots  |  Comments  |  Imprint  |  Privacy  |  HTTPS