]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7fb6c1d) | patch
The operational semantics of the core language is ready
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 21 Mar 2004 11:15:28 +0000 (11:15 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 21 Mar 2004 11:15:28 +0000 (11:15 +0000)
commit2542d2235787a5792069343b81d3fd60ffa56c2a
tree4b02905ac0417602326347b95324eb59ae7234c7tree | snapshot
parent7fb6c1dba9a3cc1285344262d73f6ce11ee96a9ecommit | diff
The operational semantics of the core language is ready
helm/mathql/doc/fguidi-defs.sty [new file with mode: 0644] blob
helm/mathql/doc/mathql.tex diff | blob | history
helm/mathql/doc/mathql_introduction.tex diff | blob | history
helm/mathql/doc/mathql_macros.sty [new file with mode: 0644] blob
helm/mathql/doc/mathql_operational.tex [new file with mode: 0644] blob
helm/mathql/doc/mathql_overview.tex diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.