]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cb42400) | patch
- grafiteParser.ml: the callback invocation was displaced
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 22 Jun 2008 15:13:14 +0000 (15:13 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 22 Jun 2008 15:13:14 +0000 (15:13 +0000)
commit63ed9d3148199584ae8b238f018e0f9883768ada
treeddde2ca45f635afbb31ed5552b55d2ba14f0854ctree | snapshot
parentcb424002ff13c0f0b52b54ab0477b133333878aecommit | diff
- grafiteParser.ml: the callback invocation was displaced
- cicNotationPres.ml: hack to have more brackets because
  (forall .. \to ..) was rendered without brackets. FIXME!
- LAMBDA-TYPES: improved Makefile
helm/software/components/content_pres/cicNotationPres.ml diff | blob | history
helm/software/components/grafite_parser/grafiteParser.ml diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.