cl-unification http://repo.kepibu.org/browse/darcsweb.cgi?r=cl-unification repo for cl-unification en 13 Mar 15:29 - Added TIMESTAMP. mantoniotti@common-lisp.net Tue, 13 Mar 2012 15:29:16 +0000 http://repo.kepibu.org/browse/darcsweb.cgi?r=cl-unification;a=commit;h=20120313152916-53440-d51a3c300cb39416405d8416b701125d2f73bea2.gz Added TIMESTAMP.
TIMESTAMP
]]> 13 Mar 15:28 - Copyright updated. mantoniotti@common-lisp.net Tue, 13 Mar 2012 15:28:28 +0000 http://repo.kepibu.org/browse/darcsweb.cgi?r=cl-unification;a=commit;h=20120313152828-53440-7b94a6424190e2f5eeba52241f4fdd4efa8a2ee7.gz Copyright updated.
docs/html/index.html
]]> 13 Mar 15:28 - Copyright updated. mantoniotti@common-lisp.net Tue, 13 Mar 2012 15:28:15 +0000 http://repo.kepibu.org/browse/darcsweb.cgi?r=cl-unification;a=commit;h=20120313152815-53440-621dad3c783d373d9a86e7a43c368b242773a215.gz Copyright updated.
COPYING
]]> 16 Jun 00:10 - Added "CL-UNIFICATION" as package nickname to match the .asd and .system specs. mantoniotti@common-lisp.net Thu, 16 Jun 2011 00:10:47 +0000 http://repo.kepibu.org/browse/darcsweb.cgi?r=cl-unification;a=commit;h=20110616001047-53440-4726174e13e8f5ff78ebca4a21b42ee265261f91.gz Added "CL-UNIFICATION" as package nickname to match the .asd and .system specs.
unification-package.lisp
]]> 02 Apr 04:39 - Use *unify-string-case-sensitive-p* consistently. rbrown@common-lisp.net Sat, 02 Apr 2011 04:39:32 +0000 http://repo.kepibu.org/browse/darcsweb.cgi?r=cl-unification;a=commit;h=20110402043932-d462d-6e3a79acfbf638003980ce02a8d152601f3b076f.gz Use *unify-string-case-sensitive-p* consistently.
Change the documentation.

docs/html/usci-variable.html
unifier.lisp
test/unification-tests.lisp
docs/html/string-template-class.html
docs/html/unify-function.html
docs/html/unification-dictionary.html
unification-package.lisp
]]> 02 Apr 04:19 - match-block.lisp: Use &body in match-case and matchf-case so rbrown@common-lisp.net Sat, 02 Apr 2011 04:19:09 +0000 http://repo.kepibu.org/browse/darcsweb.cgi?r=cl-unification;a=commit;h=20110402041909-d462d-c6a400a46aef079964f7409837403f33e3ee3eac.gz match-block.lisp: Use &body in match-case and matchf-case so
code that uses them is correctly indented by editors.

ChangeLog
]]> 02 Apr 04:16 - Copyright updated. mantoniotti@common-lisp.net Sat, 02 Apr 2011 04:16:51 +0000 http://repo.kepibu.org/browse/darcsweb.cgi?r=cl-unification;a=commit;h=20110402041651-53440-280f60b4c2be855b077999f9acb0492080178afd.gz Copyright updated.
docs/html/links.html
docs/html/control-flow.html
docs/html/unification-dictionary.html
docs/html/mailing-lists.html
docs/html/templates.html
docs/html/dictionary.html
docs/html/unifying-substitutions.html
docs/html/downloads.html
]]> 02 Apr 04:11 - Updated copyright info and a News. mantoniotti@common-lisp.net Sat, 02 Apr 2011 04:11:54 +0000 http://repo.kepibu.org/browse/darcsweb.cgi?r=cl-unification;a=commit;h=20110402041154-53440-ed5624503a96c9df66d8fd7e2b96295902dd7843.gz Updated copyright info and a News.
docs/html/index.html
]]> 02 Apr 04:09 - ChangeLog updated. mantoniotti@common-lisp.net Sat, 02 Apr 2011 04:09:17 +0000 http://repo.kepibu.org/browse/darcsweb.cgi?r=cl-unification;a=commit;h=20110402040917-53440-f8ca3709b476b62112e6d99a5569c940efb6203b.gz ChangeLog updated.
ChangeLog
]]> 02 Apr 04:08 - Remove Thumbs.db and friends mantoniotti@common-lisp.net Sat, 02 Apr 2011 04:08:13 +0000 http://repo.kepibu.org/browse/darcsweb.cgi?r=cl-unification;a=commit;h=20110402040813-53440-971b0ad425b60e8752234c6b0eb89ab9148ef004.gz Remove Thumbs.db and friends
docs/html/images/Thumbs.db:encryptable
]]> 02 Apr 04:05 - Exported a few more symbols. mantoniotti@common-lisp.net Sat, 02 Apr 2011 04:05:30 +0000 http://repo.kepibu.org/browse/darcsweb.cgi?r=cl-unification;a=commit;h=20110402040530-53440-2b07e80a159c11b2b684bd5e974436792b0e45f9.gz Exported a few more symbols.
unification-package.lisp
]]> 02 Apr 04:05 - Minor changes (added COPYING information and other minutiae). mantoniotti@common-lisp.net Sat, 02 Apr 2011 04:05:18 +0000 http://repo.kepibu.org/browse/darcsweb.cgi?r=cl-unification;a=commit;h=20110402040518-53440-a6e721c6b961a1f9355dde51fe05b7de2471d8ae.gz Minor changes (added COPYING information and other minutiae).
lambda-list-parsing.lisp
match-block.lisp
substitutions.lisp
apply-substitution.lisp
unifier.lisp
cl-unification.asd
templates-hierarchy.lisp
variables.lisp
cl-unification-lib.asd
unification-package.lisp
cl-unification.system
]]> 02 Apr 04:01 - Changed some environment functions and improved the DUMP-* ones. mantoniotti@common-lisp.net Sat, 02 Apr 2011 04:01:24 +0000 http://repo.kepibu.org/browse/darcsweb.cgi?r=cl-unification;a=commit;h=20110402040124-53440-c8da7e8832bd6e408849c3d71840b950fead6e12.gz Changed some environment functions and improved the DUMP-* ones.
substitutions.lisp
]]> 02 Apr 03:51 - Acknowledgements updated. mantoniotti@common-lisp.net Sat, 02 Apr 2011 03:51:38 +0000 http://repo.kepibu.org/browse/darcsweb.cgi?r=cl-unification;a=commit;h=20110402035138-53440-90849d16342306f24331c74a290ff2252d69a994.gz Acknowledgements updated.
ACKNOWLEDGEMENTS
]]> 02 Apr 03:50 - Delete trailing whitespace. In lambda-list-parsing.lisp this fixes a bug rbrown@common-lisp.net Sat, 02 Apr 2011 03:50:19 +0000 http://repo.kepibu.org/browse/darcsweb.cgi?r=cl-unification;a=commit;h=20110402035019-d462d-ee2c8f216491388afed5996849e348784bbfc23f.gz Delete trailing whitespace. In lambda-list-parsing.lisp this fixes a bug
with ~@<newline> format directives.

lambda-list-parsing.lisp
apply-substitution.lisp
unifier.lisp
ChangeLog
lib-dependent/cl-ppcre-template.lisp
cl-unification.system
]]> 02 Apr 02:51 - unifier.lisp: Allow vectors to unify with sequence templates. rbrown@common-lisp.net Sat, 02 Apr 2011 02:51:32 +0000 http://repo.kepibu.org/browse/darcsweb.cgi?r=cl-unification;a=commit;h=20110402025132-d462d-f86f36bb61a770020f8502ca6c267763f250bdf5.gz unifier.lisp: Allow vectors to unify with sequence templates.
test/unification-tests.lisp: new test to verify the change

unifier.lisp
test/unification-tests.lisp
ChangeLog
]]> 02 Apr 02:49 - Add entry for cl-unification-test.asd. rbrown@common-lisp.net Sat, 02 Apr 2011 02:49:30 +0000 http://repo.kepibu.org/browse/darcsweb.cgi?r=cl-unification;a=commit;h=20110402024930-d462d-6e826e9cc2c5a2085a7d24dc789b4d4223c05f07.gz Add entry for cl-unification-test.asd.
ChangeLog
]]> 02 Apr 02:47 - Add cl-unification-test.asd rbrown@common-lisp.net Sat, 02 Apr 2011 02:47:50 +0000 http://repo.kepibu.org/browse/darcsweb.cgi?r=cl-unification;a=commit;h=20110402024750-d462d-e79a17c005b836d2116a85e50ae809af05cf1145.gz Add cl-unification-test.asd
Make (asdf:test-system 'cl-unification) work.

cl-unification-test.asd
test/unification-tests.lisp
cl-unification.asd
]]> 02 Apr 02:37 - Make sure that classes referenced in #T forms are defined rbrown@common-lisp.net Sat, 02 Apr 2011 02:37:58 +0000 http://repo.kepibu.org/browse/darcsweb.cgi?r=cl-unification;a=commit;h=20110402023758-d462d-1bc003625c2e1283ebcb3afbdabc6a59f768a868.gz Make sure that classes referenced in #T forms are defined
before the forms are read. This fixes compilation of
file unification-tests.lisp.

test/unification-tests.lisp
]]> 29 Mar 23:22 - Copyright dates updated. mantoniotti@common-lisp.net Tue, 29 Mar 2011 23:22:33 +0000 http://repo.kepibu.org/browse/darcsweb.cgi?r=cl-unification;a=commit;h=20110329232233-53440-4381b608f46a19f0217907914cc40b79d7518686.gz Copyright dates updated.
README
COPYING
]]>