|
(* 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.0 Sekunden
(vorverarbeitet)
¤
|
Haftungshinweis
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
|
