| description | Unnamed repository; edit this file to name it for gitweb. |
| owner | Marc Liyanage |
| last change | Sun, 5 Apr 2009 15:43:44 +0000 |
| URL | http://www.entropy.ch/git-projects/LeanCalc.git |
| 11 months ago | v1.2 | version 1.2 | tag | | commit | shortlog | log |
| 11 months ago | v1.3 | version 1.3 | tag | | commit | shortlog | log |
| 11 months ago | master | shortlog | log | tree |