ພາສາອັງກິດພາສາຝຣັ່ງແອສປາໂຍນ

OnWorks favicon

caml2html - ອອນລາຍໃນຄລາວ

ແລ່ນ caml2html ໃນ OnWorks ຜູ້ໃຫ້ບໍລິການໂຮດຕິ້ງຟຣີຜ່ານ Ubuntu Online, Fedora Online, Windows online emulator ຫຼື MAC OS online emulator

ນີ້ແມ່ນຄໍາສັ່ງ caml2html ທີ່ສາມາດດໍາເນີນການໄດ້ໃນ OnWorks ຜູ້ໃຫ້ບໍລິການໂຮດຕິ້ງຟຣີໂດຍໃຊ້ຫນຶ່ງໃນຫຼາຍໆບ່ອນເຮັດວຽກອອນໄລນ໌ຂອງພວກເຮົາເຊັ່ນ Ubuntu Online, Fedora Online, Windows online emulator ຫຼື MAC OS online emulator

ໂຄງການ:

NAME


caml2html - pretty print OCaml ໃນ html ແລະ latex

ສະຫຼຸບສັງລວມ


caml2html [ຕົວເລືອກຕ່າງໆ ...] ໄຟ...

ລາຍລະອຽດ


caml2html ພິມງາມ ໂອເຄມ ລະຫັດແຫຼ່ງເປັນໄຟລ໌ html ຫຼື LaTex. ການພິມທີ່ສວຍງາມໃຊ້
ສີ ແລະເພີ່ມຄໍາແນະນໍາເຄື່ອງມືດ້ວຍຄໍາບັນຍາຍປະເພດຖ້າໄຟລ໌ .annot ທີ່ສອດຄ້ອງກັນ
ປະຈຸບັນ.

ໂດຍບໍ່ມີການ ເອກະສານ ການໂຕ້ຖຽງ, caml2html ອ່ານຈາກວັດສະດຸປ້ອນມາດຕະຖານ. ໂດຍຄ່າເລີ່ມຕົ້ນມັນຂຽນເຖິງ
ຜົນຜະລິດມາດຕະຖານ.

OPTIONS


-annotfilter {innermost|outermost}
ເລືອກວ່າຄວນໃຊ້ຄຳອະທິບາຍປະກອບປະເພດພາຍໃນທີ່ສຸດ ຫຼື ຊັ້ນນອກສຸດ (ຄ່າເລີ່ມຕົ້ນ:
ພາຍໃນທີ່ສຸດ)

- noannot
ຢ່າໃສ່ຄໍາບັນຍາຍປະເພດທີ່ອ່ານຈາກໄຟລ໌ .annot (ຜົນອອກຂອງ HTML ເທົ່ານັ້ນ)

-ln ເພີ່ມເລກແຖວຢູ່ຈຸດເລີ່ມຕົ້ນຂອງແຕ່ລະແຖວ

-hc ຄໍາຄິດເຫັນຖືກປະຕິບັດເປັນລະຫັດ HTML ຫຼື LaTeX ດິບ (ບໍ່ມີແຖວໃຫມ່ພາຍໃນແທັກ)

-t ເພີ່ມຫົວຂໍ້ໃສ່ຫນ້າ HTML

-ຮ່າງກາຍ ຜົນໄດ້ຮັບພຽງແຕ່ເນື້ອໃນຂອງເອກະສານ, ສໍາລັບການລວມເຂົ້າໄປໃນເອກະສານທີ່ມີຢູ່ແລ້ວ (ເບິ່ງ
-make-css ແລະ -make-latex-defs)

-nf ຢ່າເພີ່ມສ່ວນທ້າຍໃສ່ໜ້າ HTML

- ໃນ​ຫົວ​
ໃຊ້ຄໍເຕົ້າໄຂ່ທີ່ເລີ່ມຕົ້ນແລະວາງໄວ້ໃນ ພາກສ່ວນຂອງເອກະສານ (ຄ່າເລີ່ມຕົ້ນ
ເມື່ອ​ໃຊ້​ໄດ້)

- ຕົວ​ອັກ​ສອນ​
ລະບຸຊຸດຕົວອັກສອນທີ່ຈະໃຊ້ (ຄ່າເລີ່ມຕົ້ນ: iso-8859-1)

-css ໃຊ້ໄຟລ໌ຮູບແບບ CSS ແຍກຕ່າງຫາກ stylecss

-cssurl
ການນໍາໃຊ້ URL ເປັນ CSS

- ແຖວ
ໃຊ້ການຈັດຮູບແບບໃນແຖວ (HTML ເທົ່ານັ້ນ, ທາງເລືອກເລີ່ມຕົ້ນຖ້າ -inhead ບໍ່ສາມາດໃຊ້ໄດ້)

-ie7 ຫຼຸດ​ລົງ​ການ​ສະ​ຫນັບ​ສະ​ຫນູນ​ສໍາ​ລັບ​ການ​ປະ​ເພດ​ຄໍາ​ອະ​ທິ​ບາຍ​ໃນ Internet Explorer 6 ແລະ​ສູງ​ກວ່າ​

- notab ຢ່າປ່ຽນແທັບໂດຍຊ່ອງຫວ່າງ

- ແຖບ
ແທນທີ່ແຖບໂດຍ n ຍະຫວ່າງ (ຄ່າເລີ່ມຕົ້ນ = 8)

-d
ສ້າງໄຟລ໌ໃນໄດເລກະທໍລີ dir, ແທນທີ່ຈະຢູ່ໃນໄດເລກະທໍລີປະຈຸບັນ

-o
ໄຟລ໌ຜົນຜະລິດ

-make-css
ສ້າງໄຟລ໌ CSS ດ້ວຍການກໍານົດສີເລີ່ມຕົ້ນແລະອອກ

-ຕໍ່ໄປ
ໃຊ້ຄໍາສັ່ງພາຍນອກທີ່ໃຫ້ CMD ເພື່ອຈັດການກັບຄໍາເຫັນທີ່ເລີ່ມຕົ້ນດ້ວຍ (*NAME. NAME
ຕ້ອງເປັນຕົວລະບຸຕົວພິມນ້ອຍ. ເບິ່ງ ຕົວຢ່າງ ຂ້າງລຸ່ມນີ້.

- ຢາງ ສົ່ງອອກລະຫັດ LaTeX ແທນ HTML.

-make-latex-defs
ສ້າງໄຟລ໌ທີ່ມີຄໍານິຍາມສີ LaTeX ເລີ່ມຕົ້ນແລະການຈັບຄູ່
ເນັ້ນຄໍາສັ່ງ, ແລະອອກ. \usepackage{alltt,color} ບໍ່ລວມ.

-v ພິມຕົວເລກສະບັບເພື່ອ stdout ແລະອອກ

-ຊ່ວຍ | - ຊ່ວຍ
ຕົວເລືອກສະແດງແລະອອກ.

ຕົວຢ່າງ


ປະມວນຜົນຫຼາຍໄຟລ໌ເຂົ້າໄປໃນໄຟລ໌ດຽວ:

caml2html -o result.html *.mli *.ml

ປະມວນຜົນຫຼາຍໄຟລ໌, ແລະສ້າງຫນ້າ HTML ຫນຶ່ງສໍາລັບແຕ່ລະໄຟລ໌:

caml2html *.ml

ທ່ານສາມາດນໍາໃຊ້ HTML ໃນຄໍາເຫັນຂອງໄຟລ໌ແຫຼ່ງ, ຕົວຢ່າງ, ເພື່ອໃສ່ hyperlinks:

(* ນີ້ແມ່ນ file1.ml.
ນີ້ແມ່ນລິ້ງໄປຫາ file2.ml . *)

ໝາຍເຫດ, ແທັກ HTML ອັນໜຶ່ງບໍ່ສາມາດຂະຫຍາຍໄດ້ຫຼາຍສາຍ, ແລະຕົວອັກສອນທຳມະດາ
<, > ແລະ & ຕ້ອງຂຽນເປັນ <, > ແລະ &.

Custom ຄວາມຄິດເຫັນ ມືຈັບ ເພື່ອປະຕິບັດຄໍາສັ່ງປະກອບມີຄໍາແນະນໍາສໍາລັບຄໍາຄິດຄໍາເຫັນ, ການນໍາໃຊ້

caml2html -ext "include: xargs cat" example.ml

ຫຼັງຈາກນັ້ນ,

(*ລວມທັງ i.html *)
ໃຫ້ fx = 2 * x + 1

ຜະລິດ

...ເນື້ອໃນຂອງ i.html ...
ໃຫ້ fx = 2 * x + 1

ຜົນໄດ້ຮັບ.

ໃຊ້ caml2html ອອນໄລນ໌ໂດຍໃຊ້ບໍລິການ onworks.net


ເຊີບເວີ ແລະສະຖານີເຮັດວຽກຟຣີ

ດາວໂຫຼດແອັບ Windows ແລະ Linux

  • 1
    GenX
    GenX
    GenX ແມ່ນໂຄງການວິທະຍາສາດເພື່ອປັບປຸງໃຫມ່
    ການສະທ້ອນແສງ x-ray, ນິວຕຣອນ
    ການສະທ້ອນແສງ ແລະ x-ray ພື້ນຜິວ
    ຂໍ້​ມູນ​ການ​ຫັນ​ປ່ຽນ​ໂດຍ​ນໍາ​ໃຊ້​ຄວາມ​ແຕກ​ຕ່າງ​
    ຂັ້ນຕອນວິວັດທະນາການ....
    ດາວໂຫລດ GenX
  • 2
    pspp4windows
    pspp4windows
    PSPP ແມ່ນໂຄງການສໍາລັບສະຖິຕິ
    ການວິເຄາະຂໍ້ມູນຕົວຢ່າງ. ມັນເປັນຟຣີ
    ການທົດແທນໂຄງການທີ່ເປັນເຈົ້າຂອງ
    SPSS. PSPP ມີທັງຂໍ້ຄວາມທີ່ອີງໃສ່ແລະ
    ຮູບພາບພວກເຮົາ ...
    ດາວໂຫລດ pspp4windows
  • 3
    Git ສ່ວນຂະຫຍາຍ
    Git ສ່ວນຂະຫຍາຍ
    Git Extensions ເປັນເຄື່ອງມື UI ແບບດ່ຽວ
    ສໍາລັບການຄຸ້ມຄອງ Git repositories. ມັນຍັງ
    ປະສົມປະສານກັບ Windows Explorer ແລະ
    Microsoft Visual Studio
    (2015/2017/2019). ທ...
    ດາວໂຫລດ Git Extensions
  • 4
    eSpeak: ການສັງເຄາະການປາກເວົ້າ
    eSpeak: ການສັງເຄາະການປາກເວົ້າ
    Text to Speech engine ສໍາລັບພາສາອັງກິດ ແລະ
    ພາ​ສາ​ອື່ນໆ​ຈໍາ​ນວນ​ຫຼາຍ​. ຂະຫນາດກະທັດລັດກັບ
    ການອອກສຽງທີ່ຊັດເຈນແຕ່ປອມ.
    ມີຢູ່ໃນໂຄງການເສັ້ນຄໍາສັ່ງທີ່ມີ
    ຫຼາຍ...
    ດາວໂຫລດ eSpeak: ການສັງເຄາະສຽງເວົ້າ
  • 5
    ຕາຕະລາງທ້ອງຟ້າ / Cartes du Ciel
    ຕາຕະລາງທ້ອງຟ້າ / Cartes du Ciel
    SkyChart ເປັນຊອບແວທີ່ຈະແຕ້ມຕາຕະລາງຂອງ
    ທ້ອງຟ້າໃນຕອນກາງຄືນສໍາລັບນັກດາລາສາດສະໝັກຫຼິ້ນ
    ຈາກຊໍ່ຂອງດາວແລະ nebulae
    ລາຍການ. ເບິ່ງໜ້າເວັບຫຼັກສໍາລັບເຕັມ
    ດາວໂຫຼດ...
    ດາວໂຫລດ Sky Chart / Cartes du Ciel
  • 6
    GSmartControl
    GSmartControl
    GSmartControl ເປັນຜູ້ໃຊ້ກາຟິກ
    ການໂຕ້ຕອບສໍາລັບ smartctl. ມັນອະນຸຍາດໃຫ້ທ່ານ
    ກວດ​ກາ​ເບິ່ງ hard disk ແລະ solid-state
    ຂັບລົດຂໍ້ມູນ SMART ເພື່ອກໍານົດຂອງມັນ
    ສຸຂະພາບ, ເປັນ w ...
    ດາວໂຫລດ GSmartControl
  • ເພີ່ມເຕີມ »

Linux ຄຳ ສັ່ງ

  • 1
    abc2abc
    abc2abc
    abc2abc - abc ງ່າຍໆ
    checker/re-formatter/transposer...
    ແລ່ນ abc2abc
  • 2
    abc2ly
    abc2ly
    abc2ly - ຫນ້າຄູ່ມືສໍາລັບ abc2ly
    (LilyPond) 2.18.2 ...
    ແລ່ນ abc2ly
  • 3
    coqmktop
    coqmktop
    coqmktop - ຜູ້ຊ່ວຍຫຼັກຖານສະແດງ Coq
    ຜູ້​ໃຊ້​ຍຸດ​ທະ​ສາດ linker ...
    ແລ່ນ coqmktop
  • 4
    coqtop
    coqtop
    coqtop - ຜູ້ຊ່ວຍຫຼັກຖານສະແດງ Coq
    ລະ​ບົບ​ລະ​ດັບ​ສູງ ...
    ແລ່ນ coqtop
  • 5
    g.copygrass
    g.copygrass
    g.copy - ສຳເນົາໄຟລ໌ຂໍ້ມູນທີ່ມີຢູ່ໃນ
    ເສັ້ນທາງການຊອກຫາແຜນທີ່ໃນປະຈຸບັນໄປຫາ
    ແຜນ​ທີ່​ປະ​ຈຸ​ບັນ​ຂອງ​ຜູ້​ໃຊ້​. ຄີເວີດ:
    ໂດຍທົ່ວໄປ, ການຄຸ້ມຄອງແຜນທີ່ ...
    ແລ່ນ g.copygrass
  • 6
    g.dirsepgrass
    g.dirsepgrass
    g.dirseps - ຜົນປະໂຫຍດ GRASS ພາຍໃນສໍາລັບ
    ການແປງຕົວແຍກໄດເລກະທໍລີ
    ຕົວລະຄອນ. ແປງໄດເລກະທໍລີໃດໆ
    ຕົວອັກສອນຕົວແຍກໃນສະຕຣິງປ້ອນຂໍ້ມູນ
    ໄປ ຫຼື ຈາກ ນາ ...
    ແລ່ນ g.dirsepgrass
  • ເພີ່ມເຕີມ »

Ad