From 97276d05bd1e67e9393babfd4e0d1868406b283b Mon Sep 17 00:00:00 2001 From: Olivier Duvernois Date: Tue, 20 Sep 2005 21:21:29 +0000 Subject: [PATCH] *** empty log message *** --- anubis_dev/library/tools/latex.anubis | 2 +- anubis_dev/library/tools/maml.anubis | 3 +-- 2 files changed, 2 insertions(+), 3 deletions(-) diff --git a/anubis_dev/library/tools/latex.anubis b/anubis_dev/library/tools/latex.anubis index 3f1fe2d..6eece87 100644 --- a/anubis_dev/library/tools/latex.anubis +++ b/anubis_dev/library/tools/latex.anubis @@ -25,7 +25,7 @@ read tools/basis.anubis public type ResultMakePdf: cannot_create_tex, - error_compilation (String), + error_compilation (String), // explanation cannot_create_pdf, error_moving_pdf, ok. diff --git a/anubis_dev/library/tools/maml.anubis b/anubis_dev/library/tools/maml.anubis index 5a99f44..7c340d9 100644 --- a/anubis_dev/library/tools/maml.anubis +++ b/anubis_dev/library/tools/maml.anubis @@ -802,8 +802,7 @@ define String { [] then end_code_color, [h . t] then - //if h=13 //h = '\n' //| h = 13 - if h = '\n' | h = 13 + if h=13 //h = '\n' //| h = 13 then format_code_with_color(t,sub_environment,begin_code_color,end_code_color) else format_code_with_color2(l,sub_environment,begin_code_color,end_code_color) }. -- libgit2 0.21.4