projects / helm.git / search
| 2011-09-08 | matitaweb | Matitaweb: makefile reverted to old (working) version. Matitaweb: makefile reverted to old (working... |
commit | commitdiff | tree |
| 2011-09-08 | matitaweb | Matitaweb: more changes to file selection dialog box. Matitaweb: more changes to file selection... |
commit | commitdiff | tree |
| 2011-09-08 | matitaweb | Matitaweb: changes to file selection dialog box. Matitaweb: changes to file selection dialog... |
commit | commitdiff | tree |
| 2011-09-08 | matitaweb | Matitaweb: Changes to the file selection dialog box. Matitaweb: Changes to the file selection... |
commit | commitdiff | tree |
| 2011-09-07 | matitaweb | ... |
commit | commitdiff | tree |
| 2011-09-07 | matitaweb | Changed behavior in matitaweb.js, function retrieveFile... Changed behavior in matitaweb.js, function retrieveFile (it... |
commit | commitdiff | tree |
| 2011-09-07 | matitaweb | logic.ma is now enriched using the correct syntax. |
commit | commitdiff | tree |
| 2011-09-06 | matitaweb | Removed ghost copy of a MatitaScriptLexer (moved from |
commit | commitdiff | tree |