You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
22 lines
673 B
22 lines
673 B
running testLatex2html0:
|
|
-- transformation of accents
|
|
running testLatex2html1:
|
|
-- transformation of ampersamd
|
|
running testLatex2html2:
|
|
-- transformation of non breaking space
|
|
running testLatex2html3:
|
|
-- transformation of curly braces (serge's bug)
|
|
running testshortopentags:
|
|
-- short PHP tag <?
|
|
running test_search1:
|
|
-- search for banach space (latex markup)
|
|
running test_search2:
|
|
-- search for goedel (latex and accents)
|
|
running test_search2a:
|
|
-- search for goedel (latex and accents)
|
|
running test_search2b:
|
|
XX search for goedel (latex and accents)
|
|
running test_search3:
|
|
-- search for OCL
|
|
running test_search4:
|
|
-- search for TYPE:book
|