Commit 06c2ca596a19de72757940768444792bc7dff5d0

Authored by Olivier Duvernois
1 parent 97276d05

*** empty log message ***

anubis_dev/library/tools/latex.anubis
... ... @@ -263,6 +263,7 @@ define String
263 263 + "\\setlength{\\parindent}{0pt}\n"
264 264 //+ "\\usepackage[francais]{babel}\n"
265 265 + "\\usepackage[utf8]{inputenc}\n"
  266 + + "\\usepackage{textcomp}\n"
266 267 + "\\usepackage{color}\n"
267 268 + "\\usepackage{graphics}\n"
268 269 + "\\usepackage{longtable}\n"
... ...
anubis_dev/library/tools/maml.anubis
... ... @@ -612,9 +612,7 @@ define (String,MAML)
612 612  
613 613 Le nom de l'image est sous la forme :
614 614 "http://"+site_name+"/"+image_path
615   - http://www.anubis-language.com/image.gif
616 615  
617   - length("http://www.anubis-language.com/" = 31
618 616  
619 617 define String
620 618 get_eps_name
... ... @@ -784,8 +782,8 @@ define String
784 782 failure then end_code_color+(if t is [] then "" else "\\\\ ")+begin_code_color,
785 783 success(s) then end_code_color+"} "+(if t is [] then "" else "\\\\ ")+begin_code_color+s
786 784 } else
787   - if h ='|' then "\\raisebox{-2.8pt}{\\rule{0.5pt}{11pt}}" else
788   - if h = '-' then "$-$"
  785 + //if h ='|' then "\\raisebox{-2.8pt}{\\rule{0.5pt}{11pt}}" else
  786 + //if h = '-' then "$-$"
789 787 else transform_schar(h,latex_schar))
790 788 + format_code_with_color2(t,sub_environment,begin_code_color,end_code_color)
791 789 }.
... ...