]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7bbc382) | patch
* new semantics with 2 continuations
authorLuca Padovani <luca.padovani@unito.it>
Sun, 6 Apr 2003 09:07:22 +0000 (09:07 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Sun, 6 Apr 2003 09:07:22 +0000 (09:07 +0000)
commit5f420bd186321bd74d0b7346fc8941e4d9abd4de
tree30bc253e1303253659e587ee7cc2d3322824faa6tree | snapshot
parent7bbc3826e7478e46a0802334cd1befa7d65e60dbcommit | diff
* new semantics with 2 continuations
helm/DEVEL/mathml_editor/doc/spec.tex diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.