2004-12-07 | twisti | GNU header update. | blob | commitdiff | raw |
2004-11-30 | twisti | New source tree. | blob | commitdiff | raw | diff to current |
2004-01-19 | edwin | cleanup and documentation | blob | commitdiff | raw | diff to current |
2004-01-10 | edwin | added package access checking | blob | commitdiff | raw | diff to current |
2004-01-10 | edwin | implemented subroutine verification (Coglio's method... | blob | commitdiff | raw | diff to current |
2003-12-16 | edwin | removed c++ comment | blob | commitdiff | raw | diff to current |
2003-12-08 | edwin | added #includes and emacs tailer | blob | commitdiff | raw | diff to current |
2003-12-08 | edwin | added uninitialized object typecheck | blob | commitdiff | raw | diff to current |
2003-12-07 | twisti | - added stdio.h include | blob | commitdiff | raw | diff to current |
2003-12-06 | edwin | added the typechecker (not yet complete) | blob | commitdiff | raw | diff to current |
2003-12-04 | edwin | preparations for the typechecker | blob | commitdiff | raw | diff to current |