]> matita.cs.unibo.it Git - helm.git/blob - helm/ocaml/pxp/pxpUriResolver.mli
projects / helm.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
...
[helm.git] / helm / ocaml / pxp / pxpUriResolver.mli
1 val from_file :
2   ?alt:Csc_pxp_reader.resolver list ->
3   ?system_encoding:Netconversion.encoding ->
4   ?enc:Netconversion.encoding -> string -> Pxp_yacc.source
Unnamed repository; edit this file 'description' to name the repository.