products/sources/formale sprachen/Coq/dev/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: include_dune   Sprache: Unknown

(* File to include to install the pretty-printers in the ocaml toplevel *)

(* Typical usage :

   $ dune exec coqtop.byte # or even better : rlwrap coqtop.byte
   Coq < Drop.
   # #directory "dev";;
   # #use "include";;

   Alternatively, you can avoid typing #use "include" after each Drop
   by adding the following lines in your $HOME/.ocamlinit :

   #directory "+compiler-libs";;
   if Filename.basename Sys.argv.(0) = "coqtop.byte"
   then ignore (Toploop.use_silently Format.std_formatter "dev/include")
*)

#cd ".";;
#use "incdir_dune";;
#use "base_include";;
#use "inc_ltac_dune";;
#use "include_printers";;

[ Dauer der Verarbeitung: 0.14 Sekunden  (vorverarbeitet)  ]