]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 156b87c) | patch
1) the home button of CicBrowser now works also for NG
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 5 Jun 2009 09:52:20 +0000 (09:52 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 5 Jun 2009 09:52:20 +0000 (09:52 +0000)
commit9e7df95a820cb91d075f1a20d703175da874596c
treeb2254936b5eb840f2ab4660926555538d5be33f0tree | snapshot
parent156b87c397a8b5cf9b7381def41e070e235941eecommit | diff
1) the home button of CicBrowser now works also for NG
2) implemented simple (i.e. no natural language) rendering of NG constants.
   Inductive types and (co)recursive definitions are still missing.
helm/software/components/content_pres/content2pres.ml diff | blob | history
helm/software/components/content_pres/content2pres.mli diff | blob | history
helm/software/components/ng_cic_content/nTermCicContent.ml diff | blob | history
helm/software/components/ng_cic_content/nTermCicContent.mli diff | blob | history
helm/software/matita/applyTransformation.ml diff | blob | history
helm/software/matita/matitaMathView.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.