Vítor Santos Costa
|
4ccb8cf210
|
more atom as terms stuff
|
2015-08-18 14:50:27 -05:00 |
|
Vítor Santos Costa
|
89b0279ca6
|
add TokRep to supper syntax error handling
improve handle management.
|
2015-08-18 14:47:01 -05:00 |
|
Vítor Santos Costa
|
b7a1e464ef
|
add warning of discontiguous and multiple file predicates
|
2015-08-18 14:32:24 -05:00 |
|
Vítor Santos Costa
|
1c06bfdc05
|
cmake & text support
|
2015-06-19 01:30:13 +01:00 |
|
Vítor Santos Costa
|
47c3f64eae
|
Inp/Out changes, blobs
|
2015-06-18 00:52:31 +01:00 |
|
Vítor Santos Costa
|
e989419605
|
Use new YAP flags
|
2015-06-18 00:05:49 +01:00 |
|
Vítor Santos Costa
|
52c8b478e5
|
lots of stuff we don't want to commit
|
2015-06-17 23:54:17 +01:00 |
|
Vitor Santos Costa
|
df1dfc821a
|
eclipse
|
2014-05-06 09:37:32 +01:00 |
|
David Vaz
|
5c83be965a
|
Added eclipse to ignore
|
2013-01-07 16:41:51 +00:00 |
|
Denys Duchier
|
da437bb6a9
|
don't leave pickles in source directory
|
2011-08-30 15:58:49 +02:00 |
|
Vitor Santos Costa
|
a91e2f9030
|
make git ignore these files (Ulrich Neumerkel).
|
2009-05-02 11:00:21 -05:00 |
|