]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 54b8d79) | patch
Added new query to time-diff the last mark with the previous one.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 18 Apr 2007 08:56:53 +0000 (08:56 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 18 Apr 2007 08:56:53 +0000 (08:56 +0000)
commitd4a1c820a3a4c33db1ae8a8625b6cf6184270d97
tree1ab394cc17d060588f407095879d0f8f8e2427fdtree | snapshot
parent54b8d795b28328cd3c73943290e39dd7c2d2bf8acommit | diff
Added new query to time-diff the last mark with the previous one.
The query is also the example query below in case you want to change the two
marks.
matita/scripts/public_html/bench.php diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.