]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4e89ae4) | patch
Added support for hyperlinks in the goal view of the web interface.
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Mon, 23 May 2011 15:13:38 +0000 (15:13 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Mon, 23 May 2011 15:13:38 +0000 (15:13 +0000)
commit1b67bd4dfa12ef25b8fa63884c71893b961db27d
treeb5cddf7eb46ce58e132538647d915189e7509f93tree | snapshot
parent4e89ae4ac9b001c0479d68d9f74fe81fca6ecd2dcommit | diff
Added support for hyperlinks in the goal view of the web interface.
14 files changed:
matitaB/components/METAS/meta.helm-content.src diff | blob | history
matitaB/components/content/.depend diff | blob | history
matitaB/components/content/notationEnv.ml diff | blob | history
matitaB/components/content/notationPp.ml diff | blob | history
matitaB/components/content/notationPt.ml diff | blob | history
matitaB/components/content/notationUtil.ml diff | blob | history
matitaB/components/content/notationUtil.mli diff | blob | history
matitaB/components/content_pres/.depend diff | blob | history
matitaB/components/content_pres/boxPp.ml diff | blob | history
matitaB/components/content_pres/cicNotationParser.ml diff | blob | history
matitaB/components/content_pres/cicNotationPres.ml diff | blob | history
matitaB/components/content_pres/content2presMatcher.ml diff | blob | history
matitaB/components/content_pres/termContentPres.ml diff | blob | history
matitaB/matita/matitadaemon.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.