Slava Pestov
|
c8d4846a03
|
Fix some compiled-usage issues
|
2008-01-12 04:25:16 -05:00 |
Slava Pestov
|
554a0d3877
|
Documentation updates
|
2008-01-11 03:32:25 -05:00 |
Slava Pestov
|
542b85889d
|
Fix unit tests
|
2008-01-09 19:13:26 -05:00 |
Slava Pestov
|
c86e95bc30
|
Add some more compiled-usage tests
|
2008-01-02 23:08:28 -04:00 |
Slava Pestov
|
e35ca18921
|
Working on compiled-usage
|
2008-01-01 15:54:14 -04:00 |
Slava Pestov
|
bbb89af5a6
|
Get compiler going again, start re-doing redefine tests
|
2007-12-24 21:41:46 -05:00 |
Slava Pestov
|
7c75697ff3
|
Assorted fixes
|
2007-12-24 20:56:23 -05:00 |
Slava Pestov
|
41fc4ea84e
|
forget-vocab and forget-source now call with-compilation-unit
|
2007-12-24 17:32:41 -05:00 |
Slava Pestov
|
07a4022d62
|
Parser, definitions, source-files refactoring work in progress
|
2007-12-21 21:18:24 -05:00 |
Slava Pestov
|
1bd8176b4a
|
New tools.test.inference vocabulary with unit-test-effect word
|
2007-11-15 17:29:00 -05:00 |
Slava Pestov
|
a96457cecc
|
Initial import
|
2007-09-20 18:09:08 -04:00 |