Click on a directory to enter that directory. Click on a file to display its revision history and to get a chance to display diffs between revisions.
Current directory: [Public] / 2000 / 10 / swap / test / list
| File | Rev. | Age | Author | Last log entry |
|---|---|---|---|---|
![[BACK]](/icons/back.gif){kind=icon}
Previous Directory
| ||||
![[TXT]](/icons/text.gif){kind=icon}
list_include.n3
| 1.2 | 21 months | connolly | is rdf:first a built-in like math:sum? evidently not |
|
unify5.n3
| 1.1 | 2 years | timbl | --n3=B flag introduced. --why improved but not perfect. |
|
detailed.tests
| 1.11 | 2 years | timbl | Revive --why proof generation and check.py. Recode unification a bit |
|
last.n3
| 1.4 | 3 years | eefi | fix misspelling of test6b |
|
builtin_generated_match.n3
| 1.1 | 3 years | syosi | List matching now works better |
|
bnode_in_list_in_list.n3
| 1.1 | 3 years | syosi | the files I forgot to add in the last commit |
|
axioms.n3
| 1.2 | 4 years | timbl | The @forAll form is now the primary form used by cwm, not this log:forAll. Suppo... |
|
bindRest.n3
| 1.3 | 4 years | timbl | The @forAll form is now the primary form used by cwm, not this log:forAll. Suppo... |
|
double.n3
| 1.2 | 4 years | timbl | The @forAll form is now the primary form used by cwm, not this log:forAll. Suppo... |
|
list-bug1.n3
| 1.2 | 4 years | timbl | The @forAll form is now the primary form used by cwm, not this log:forAll. Suppo... |
|
list-bug2.n3
| 1.2 | 4 years | timbl | The @forAll form is now the primary form used by cwm, not this log:forAll. Suppo... |
|
listlayerP.n3
| 1.2 | 4 years | timbl | The @forAll form is now the primary form used by cwm, not this log:forAll. Suppo... |
|
r1.n3
| 1.2 | 4 years | timbl | The @forAll form is now the primary form used by cwm, not this log:forAll. Suppo... |
|
r2.n3
| 1.2 | 4 years | timbl | The @forAll form is now the primary form used by cwm, not this log:forAll. Suppo... |
|
sbp.n3
| 1.2 | 4 years | timbl | The @forAll form is now the primary form used by cwm, not this log:forAll. Suppo... |
|
sbp2.n3
| 1.2 | 4 years | timbl | The @forAll form is now the primary form used by cwm, not this log:forAll. Suppo... |
|
sbp2a.n3
| 1.2 | 4 years | timbl | The @forAll form is now the primary form used by cwm, not this log:forAll. Suppo... |
|
trigo.n3
| 1.2 | 4 years | timbl | The @forAll form is now the primary form used by cwm, not this log:forAll. Suppo... |
|
unify1.n3
| 1.2 | 4 years | timbl | The @forAll form is now the primary form used by cwm, not this log:forAll. Suppo... |
|
unify2.n3
| 1.2 | 4 years | timbl | The @forAll form is now the primary form used by cwm, not this log:forAll. Suppo... |
|
unify3.n3
| 1.2 | 4 years | timbl | The @forAll form is now the primary form used by cwm, not this log:forAll. Suppo... |
|
unify4.n3
| 1.2 | 4 years | timbl | The @forAll form is now the primary form used by cwm, not this log:forAll. Suppo... |
|
itemType.rdf
| 1.2 | 4 years | syosi | Added working rdflib support, and a number of minor bugs fixed Yosi |
|
append-0.n3
| 1.1 | 4 years | timbl | Added @keyword support. (eventually got python+expat to wrok on fink, with patch... |
|
construct.n3
| 1.1 | 4 years | timbl | what happens with labeled list nodes |
|
append.n3
| 1.1 | 4 years | timbl | List processing improves - see doc/changes.html |
|
reverse.n3
| 1.1 | 4 years | timbl | List processing improves - see doc/changes.html |
|
gk0.n3
| 1.2 | 4 years | timbl | Passes regression test. (make release) |
|
first.n3
| 1.1 | 4 years | timbl | Re-engineered in places - See doc changes.html |
|
gk1.n3
| 1.2 | 4 years | timbl | Re-engineered in places - See doc changes.html |
|
gk3.n3
| 1.2 | 4 years | timbl | Re-engineered in places - See doc changes.html |
|
list6.n3
| 1.2 | 4 years | timbl | Re-engineered in places - See doc changes.html |
|
todo.tests
| 1.1 | 4 years | timbl | Re-engineered in places - See doc changes.html |
|
impl.n3
| 1.1 | 5 years | timbl | New string function to compare strings normalizing case and whitespace string:co... |
|
gk1-i.n3
| 1.1 | 5 years | timbl | mm |
|
gk2.n3
| 1.1 | 5 years | timbl | mm |
|
listlayerC.n3
| 1.1 | 5 years | connolly | rdf core list stuff |
|
list1.n3
| 1.1 | 6 years | timbl | Small tests of list functionality |
|
list2.n3
| 1.1 | 6 years | timbl | Small tests of list functionality |
|
list3.n3
| 1.1 | 6 years | timbl | Small tests of list functionality |
|
list4.n3
| 1.1 | 6 years | timbl | Small tests of list functionality |
|
list5.n3
| 1.1 | 6 years | timbl | Small tests of list functionality |