Anubis / Anubis

Commit 97276d05bd1e67e9393babfd4e0d1868406b283b

Authored by Olivier Duvernois
1 parent 5b9f0081

*** empty log message ***

Showing 2 changed files with 2 additions and 3 deletions   Show diff stats
Inline Side-by-side
anubis_dev/library/tools/latex.anubis
  Show/Hide comments   View file @97276d0
... ... @@ -25,7 +25,7 @@ read tools/basis.anubis
25 25  
26 26 public type ResultMakePdf:
27 27 cannot_create_tex,
28   - error_compilation (String),
  28 + error_compilation (String), // explanation
29 29 cannot_create_pdf,
30 30 error_moving_pdf,
31 31 ok.
... ...
anubis_dev/library/tools/maml.anubis
  Show/Hide comments   View file @97276d0
... ... @@ -802,8 +802,7 @@ define String
802 802 {
803 803 [] then end_code_color,
804 804 [h . t] then
805   - //if h=13 //h = '\n' //| h = 13
806   - if h = '\n' | h = 13
  805 + if h=13 //h = '\n' //| h = 13
807 806 then format_code_with_color(t,sub_environment,begin_code_color,end_code_color)
808 807 else format_code_with_color2(l,sub_environment,begin_code_color,end_code_color)
809 808 }.
... ...