/[cl-unification]/cl-unification
ViewVC logotype

Index of /cl-unification

Files shown:19 (Show 3 dead files)
Sticky Tag:


File Rev. Age Author Last log entry
 Parent Directory        
docs/        
lib-dependent/        
pmc/        
test/        
ChangeLog  1.18  3 months  mantoniotti  ChangeLog updated.
unifier.lisp  1.13  3 months  mantoniotti  Fixed unification of cases with variables. Added preliminary code to match "tab…
templates-hierarchy.lisp  1.10  3 months  mantoniotti  Added a few constraints on NUMBER-TEMPLATE and made a few minor other changes.
cl-unification-lib.asd  1.3  3 months  mantoniotti  Stringified dependencies.
TIMESTAMP  1.4  3 months  mantoniotti  Timestamp updated.
README  1.7  3 months  mantoniotti  Copyright notice updated.
COPYING  1.9  3 months  mantoniotti  Copyright notice updated.
unification-package.lisp  1.11  15 months  mantoniotti  Exported a few mor symbols (which should have been exported already).
match-block.lisp  1.14  16 months  mantoniotti  Fixed doc strings in MATCH-CASE and MATCHF-CASE.
substitutions.lisp  1.8  3 years  mantoniotti  Fixed typo. Double definition of PUSH-FRAME. Marco
.cvsignore  1.3  3 years  mantoniotti  Updated.
variables.lisp  1.4  3 years  mantoniotti  Minor changes (added COPYING information and other minutiae).
lambda-list-parsing.lisp  1.4  3 years  mantoniotti  Minor changes (added COPYING information and other minutiae).
cl-unification.system  1.6  3 years  mantoniotti  Minor changes (added COPYING information and other minutiae).
cl-unification.asd  1.5  3 years  mantoniotti  Minor changes (added COPYING information and other minutiae).
apply-substitution.lisp  1.6  3 years  mantoniotti  Minor changes (added COPYING information and other minutiae).
ACKNOWLEDGEMENTS  1.4  3 years  mantoniotti  Acknowledgements updated.
cl-unification-test.asd  1.1  3 years  rbrown  Add cl-unification-test.asd Make (asdf:test-system 'cl-unification) work.
INSTALLATION  1.3  5 years  mantoniotti  Instructions updated.

  ViewVC Help
Powered by ViewVC 1.1.5