]> matita.cs.unibo.it Git - helm.git/commit - helm/ocaml/grafite/grafiteAst.ml
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4dad47b) | patch
abstracted pretty printers over inner pretty printing units (terms, lazy terms, and...
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 12 Dec 2005 16:00:38 +0000 (16:00 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 12 Dec 2005 16:00:38 +0000 (16:00 +0000)
commit55ba0a660f91e491e904dad63b14ddf2bcc2754d
treed49e7da8d276c805721a85eff05ff8fa3e91b0d9tree | snapshot
parent4dad47b93729b5108a7de190faeb25fcf16aba5dcommit | diff
abstracted pretty printers over inner pretty printing units (terms, lazy terms, and objects)
helm/ocaml/grafite/cicNotation.mli diff | blob | history
helm/ocaml/grafite/grafiteAst.ml diff | blob | history
helm/ocaml/grafite/grafiteAstPp.ml diff | blob | history
helm/ocaml/grafite/grafiteAstPp.mli diff | blob | history
helm/ocaml/grafite/grafiteMarshal.ml diff | blob | history
helm/ocaml/grafite/grafiteMarshal.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.