ChangeLog updated.
Annotate for file ChangeLog
2011-04-02 mantoniotti 1 2011-02-27 author <author at paniscia.local>
04:09:17 ' 2
' 3 * .cvsignore: Updated.
' 4
' 5 * docs/html/images/Thumbs.db, docs/html/images/Thumbs.db:encryptable:
' 6 Removed Files:
' 7 Thumbs.db Thumbs.db:encryptable
' 8
' 9 2011-02-26 author <author at paniscia.local>
' 10
' 11 * .cvsignore: Updated.
' 12
' 13 * variables.lisp, unifier.lisp:
' 14 Minor changes (added COPYING information and other minutiae).
' 15
' 16 * unification-package.lisp: Exported a few more symbols.
' 17
' 18 * templates-hierarchy.lisp:
' 19 Minor changes (added COPYING information and other minutiae).
' 20
' 21 * substitutions.lisp:
' 22 Changed some environment functions and improved the DUMP-* ones.
' 23
' 24 * match-block.lisp, lambda-list-parsing.lisp, cl-unification.system, cl-unification.asd, cl-unification-lib.asd, apply-substitution.lisp:
' 25 Minor changes (added COPYING information and other minutiae).
' 26
' 27 * ACKNOWLEDGEMENTS: Acknowledgements updated.
' 28
' 29 2011-02-24 author <author at paniscia.local>
' 30
' 31 * ChangeLog, apply-substitution.lisp, cl-unification.system, lambda-list-parsing.lisp, lib-dependent/cl-ppcre-template.lisp, match-block.lisp, templates-hierarchy.lisp, unifier.lisp:
' 32 Delete trailing whitespace. In lambda-list-parsing.lisp this fixes a bug
' 33 with ~@<newline> format directives.
' 34
' 35 * ChangeLog, test/unification-tests.lisp, unifier.lisp:
' 36 unifier.lisp: Allow vectors to unify with sequence templates.
' 37 test/unification-tests.lisp: new test to verify the change
' 38
2011-04-02 rbrown 39 2011-02-24 Robert Brown <robert.brown at gmail.com>
02:51:32 ' 40
2011-04-02 rbrown 41 * lambda-list-parsing.lisp: Delete trailing whitespace that turned
03:50:19 ' 42 ~@<newline> into a bogus format directive by converting it into
' 43 ~@<space><newline>
' 44
' 45 * unifier.lisp, apply-substitution.lisp, cl-unification.system
' 46 * match-block.lisp, templates-hierarchy.lisp, unifier.lisp
' 47 * lib-dependent/cl-ppcre-template.lisp: delete trailing whitespace
' 48
' 49 2011-02-24 Robert Brown <robert.brown at gmail.com>
' 50
2011-04-02 rbrown 51 * unifier.lisp: Allow vectors to unify with sequence templates.
02:51:32 ' 52 * test/unification-tests.lisp: new test to verify the change
' 53
2011-04-02 rbrown 54 2011-02-16 Robert Brown <robert.brown at gmail.com>
02:49:30 ' 55
' 56 * cl-unification.asd: Add support for asdf:test-system.
' 57
' 58 * cl-unification-test.asd: File added.
' 59
2011-03-29 mantoniotti 60 2011-01-18 author <author at paniscia.local>
23:20:53 ' 61
' 62 * unifier.lisp:
' 63 After a careful reading of PAIP fixed a very subtle bug in VAR-UNIFY
' 64 that prevented the correct unification of:
' 65
' 66 (?x ?y a)
' 67
' 68 with
' 69
' 70 (?y ?x ?x)
' 71
' 72 * substitutions.lisp:
' 73 Added debugging functions DUMP-FRAME and DUMP-ENVIRONMENT.
' 74
' 75 * .cvsignore: Added .cvsignore file.
' 76
' 77 2009-12-17 author <author at paniscia.local>
' 78
' 79 * ChangeLog: ChangeLog updated.
' 80
' 81 * lib-dependent/cl-ppcre-template.asd: Initial checkin.
' 82
' 83 * lib-dependent/cl-ppcre-template.lisp:
' 84 Patched to use Cl-PPCRE:SCAN-TO-STRINGS (thanks to Pixel // pinterface [a] gmail dot com).
' 85
' 86 * unifier.lisp: Minor cosmetic changes.
' 87
' 88 * unification-package.lisp: Exported MATCHF-CASE.
' 89
' 90 * templates-hierarchy.lisp:
' 91 Fixed a couple of problems with some accessors in the NUMBER,
' 92 STRUCTURE-OBJECT and STANDARD-OBJECT templates.
' 93
' 94 * match-block.lisp: Added MATCHF* macros.
' 95
2009-12-17 mantoniotti 96 2009-12-17 author <author@paniscia.local>
17:02:42 ' 97
' 98 * lib-dependent/cl-ppcre-template.asd: Initial checkin.
' 99
' 100 * lib-dependent/cl-ppcre-template.lisp:
' 101 Patched to use Cl-PPCRE:SCAN-TO-STRINGS (thanks to Pixel // pinterface [a] gmail dot com).
' 102
' 103 * unifier.lisp: Minor cosmetic changes.
' 104
' 105 * unification-package.lisp: Exported MATCHF-CASE.
' 106
' 107 * templates-hierarchy.lisp:
' 108 Fixed a couple of problems with some accessors in the NUMBER,
' 109 STRUCTURE-OBJECT and STANDARD-OBJECT templates.
' 110
' 111 * match-block.lisp: Added MATCHF* macros.
' 112
' 113 2009-04-18 author <author@paniscia.local>
' 114
' 115 * ChangeLog: ChangeLog updated.
' 116
' 117 * cl-unification.system, cl-unification.asd:
' 118 System definitions files (.asd and .system) modified in order to make
' 119 dependency form CL-PPCRE optional.
' 120
' 121 * lib-dependent/cl-ppcre-template.system: File added.
' 122
' 123 * lib-dependent/cl-ppcre-template.lisp:
' 124 Removed REQUIRE of CL-PPCRE. Too brittle.
' 125
' 126 * cl-unification-lib.asd: File added.
' 127
2009-04-17 mantoniotti 128 2009-04-18 author <author@Macintosh-9.local>
22:44:17 ' 129
' 130 * cl-unification.system, cl-unification.asd:
' 131 System definitions files (.asd and .system) modified in order to make
' 132 dependency form CL-PPCRE optional.
' 133
' 134 * lib-dependent/cl-ppcre-template.system: File added.
' 135
' 136 * lib-dependent/cl-ppcre-template.lisp:
' 137 Removed REQUIRE of CL-PPCRE. Too brittle.
' 138
' 139 * cl-unification-lib.asd: File added.
' 140
' 141 2009-04-17 author <author@Macintosh-9.local>
' 142
' 143 * unification-package.lisp:
' 144 Added a few exports and changed the actual package name (i.e., I put
' 145 my money where my mouth is; the "published" package name is now a
' 146 nickname).
' 147
' 148 * apply-substitution.lisp:
' 149 Fixed a couple of snags. APPLY-SUBSTITUTION was not applied
' 150 recursively and it was barfing on numbers.
' 151 Current version is still incomplete, but it serves as a template for
' 152 further development.
' 153
' 154 2009-04-15 author <author@Macintosh-9.local>
' 155
' 156 * ChangeLog: ChangeLog updated.
' 157
' 158 * lib-dependent/cl-ppcre-template.lisp, test/unification-tests.lisp:
' 159 Modified Files:
' 160 test/unification-tests.lisp
' 161 Added Files:
' 162 lib-dependent/cl-ppcre-template.lisp
' 163
' 164 The cl-ppcre-template reuses E. Weitz's wonderful CL-PPCRE library
' 165 to provide a seamless (YMMV) reuse of regular expressions within
' 166 CL-UNIFICATION.
' 167
' 168 * templates-hierarchy.lisp: Added LAMBDA-TEMPLATE.
' 169
' 170 * substitutions.lisp:
' 171 Added some functionality to extract all variables and/or all values
' 172 from an environment or a frame.
' 173
' 174 * match-block.lisp:
' 175 Added MATCHF (whose name may change) to simplify the
' 176 'destructuring-bind'-like syntax and behavior of the matching
' 177 facilities.
' 178
' 179 * COPYING: Dates updated.
' 180
' 181 * unifier.lisp:
' 182 Major API change to 'unify'. It now accepts keywords. Old code
' 183 shouls not be affected, but new code is now more flexible. Look the
' 184 the STRING and (new) CHARACTER methods to see how this change is
' 185 affecting the code.
' 186
' 187 * variables.lisp: Some 'diff' unfathomable change happened.
' 188
' 189 * unification-package.lisp: Added exports of a few symbols.
' 190
' 191 * cl-unification.system, cl-unification.asd:
' 192 Fixed a few snags and added "lib-dependent" module.
' 193
' 194 * apply-substitution.lisp: Added some functionality and comments.
' 195
2009-04-15 mantoniotti 196 2009-04-15 author <author@paniscia.pd.disco.unimib.it>
14:33:35 ' 197
' 198 * lib-dependent/cl-ppcre-template.lisp, test/unification-tests.lisp:
' 199 Modified Files:
' 200 test/unification-tests.lisp
' 201 Added Files:
' 202 lib-dependent/cl-ppcre-template.lisp
' 203
' 204 The cl-ppcre-template reuses E. Weitz's wonderful CL-PPCRE library
' 205 to provide a seamless (YMMV) reuse of regular expressions within
' 206 CL-UNIFICATION.
' 207
' 208 * templates-hierarchy.lisp: Added LAMBDA-TEMPLATE.
' 209
' 210 * substitutions.lisp:
' 211 Added some functionality to extract all variables and/or all values
' 212 from an environment or a frame.
' 213
' 214 * match-block.lisp:
' 215 Added MATCHF (whose name may change) to simplify the
' 216 'destructuring-bind'-like syntax and behavior of the matching
' 217 facilities.
' 218
' 219 * COPYING: Dates updated.
' 220
' 221 * unifier.lisp:
' 222 Major API change to 'unify'. It now accepts keywords. Old code
' 223 shouls not be affected, but new code is now more flexible. Look the
' 224 the STRING and (new) CHARACTER methods to see how this change is
' 225 affecting the code.
' 226
' 227 * variables.lisp: Some 'diff' unfathomable change happened.
' 228
' 229 * unification-package.lisp: Added exports of a few symbols.
' 230
' 231 * cl-unification.system, cl-unification.asd:
' 232 Fixed a few snags and added "lib-dependent" module.
' 233
' 234 * apply-substitution.lisp: Added some functionality and comments.
' 235
' 236 2008-07-13 author <author@paniscia.pd.disco.unimib.it>
' 237
' 238 * ChangeLog: Changelog updated.
' 239
' 240 * ACKNOWLEDGEMENTS:
' 241 Added credits to a few people. Missing ones should bug the maintainer :)
' 242
' 243 * README: Copyright dates updated.
' 244
' 245 * unification.asd, unification.system: Cleaning up.
' 246 Committing in .
' 247
' 248 Removed Files:
' 249 unification.asd unification.system
' 250
' 251 * templates-hierarchy-saved.lisp: Clenaing up.
' 252 Committing in .
' 253
' 254 Removed Files:
' 255 templates-hierarchy-saved.lisp
' 256
' 257 * INSTALLATION: Instructions updated.
' 258
' 259 * COPYING: Copyright dates updated.
' 260
' 261 * test/unification-tests.lisp: Added file.
' 262
' 263 * substitutions.lisp, templates-hierarchy.lisp, unification-package.lisp, variables.lisp:
' 264 Some modification added. Exported symbols and reverted
' 265 reader macro #T to construct template instances at read time.
' 266 Added MAKE-LOAD-FORM method for templates which should fix problem with
' 267 SBCL.
' 268
' 269 Committing in .
' 270
' 271 Modified Files:
' 272 substitutions.lisp templates-hierarchy.lisp
' 273 unification-package.lisp variables.lisp
' 274
' 275 * cl-unification.system:
' 276 Added explicit :source-extension to accomodate Allegro CL.
' 277
2008-07-13 mantoniotti 278 2008-07-13 author <author@Macintosh.local>
13:36:42 ' 279
' 280 * ACKNOWLEDGEMENTS:
' 281 Added credits to a few people. Missing ones should bug the maintainer :)
' 282
' 283 * README: Copyright dates updated.
' 284
' 285 * unification.asd, unification.system: Cleaning up.
' 286 Committing in .
' 287
' 288 Removed Files:
' 289 unification.asd unification.system
' 290
' 291 * templates-hierarchy-saved.lisp: Cleaning up.
' 292 Committing in .
' 293
' 294 Removed Files:
' 295 templates-hierarchy-saved.lisp
' 296
' 297 * INSTALLATION: Instructions updated.
' 298
' 299 * COPYING: Copyright dates updated.
' 300
' 301 * test/unification-tests.lisp: Added file.
' 302
' 303 * substitutions.lisp, templates-hierarchy.lisp, unification-package.lisp, variables.lisp:
' 304 Some modification added. Exported symbols and reverted
' 305 reader macro #T to construct template instances at read time.
' 306 Added MAKE-LOAD-FORM method for templates which should fix problem with
' 307 SBCL.
' 308
' 309 Committing in .
' 310
' 311 Modified Files:
' 312 substitutions.lisp templates-hierarchy.lisp
' 313 unification-package.lisp variables.lisp
' 314
' 315 * cl-unification.system:
' 316 Added explicit :source-extension to accomodate Allegro CL.
' 317
' 318 2008-07-10 author <author@Macintosh.local>
' 319
' 320 * apply-substitution.lisp:
' 321 Removed EXPORT of APPLY-SUBSTITUTION as it is already in the DEFPACKAGE.
' 322
' 323 2007-11-09 author <author@Macintosh.local>
' 324
' 325 * docs/html/index.html: Changed the position of the disclaimer.
' 326
' 327 * ChangeLog: ChangeLog updated.
' 328
' 329 * match-block.lisp:
' 330 Made several changes to improve MATCH-CASE (following a note from Ivan
' 331 Boldyrev from a long time ago), MATCHING and MATCH.
' 332
' 333 Else-clauses are now handled correctly (AFAICT).
' 334
' 335 Single variable templates in MATCH, MATCH-CASE and MATCHING clauses do
' 336 not need to be quoted.
' 337
' 338 MATCHING was generating one gensym'ed variable per clause without
' 339 creating an appropriate enclosing LET. This is now fixed.
' 340
' 341 * substitutions.lisp:
' 342 Changed the top comment and added a (:copier nil) option to the
' 343 ENVIRONMENT defstruct, as COPY-ENVIRONMENT is defined later in the
' 344 file.
' 345
' 346 * cl-unification.system, cl-unification.asd:
' 347 Added the new system building files with more meaningful names
' 348 w.r.t. the name of the library.
' 349
' 350 * unification.asd, unification.system:
' 351 Marked the two system building files as 'obsolete', before removing
' 352 them from the repository. The new files are prefixed by 'cl-'.
' 353
' 354 2007-11-09 author <author@papadopoulou-2.ydras.offices.>
2007-11-09 mantoniotti 355
13:47:00 ' 356 * match-block.lisp:
' 357 Made several changes to improve MATCH-CASE (following a note from Ivan
' 358 Boldyrev from a long time ago), MATCHING and MATCH.
' 359
' 360 Else-clauses are now handled correctly (AFAICT).
' 361
' 362 Single variable templates in MATCH, MATCH-CASE and MATCHING clauses do
' 363 not need to be quoted.
' 364
' 365 MATCHING was generating one gensym'ed variable per clause without
' 366 creating an appropriate enclosing LET. This is now fixed.
' 367
' 368 * substitutions.lisp:
' 369 Changed the top comment and added a (:copier nil) option to the
' 370 ENVIRONMENT defstruct, as COPY-ENVIRONMENT is defined later in the
' 371 file.
' 372
' 373 * cl-unification.system, cl-unification.asd:
' 374 Added the new system building files with more meaningful names
' 375 w.r.t. the name of the library.
' 376
' 377 * unification.asd, unification.system:
' 378 Marked the two system building files as 'obsolete', before removing
' 379 them from the repository. The new files are prefixed by 'cl-'.
' 380
2008-07-13 mantoniotti 381 2007-05-21 author <author@papadopoulou-2.ydras.offices.>
2007-11-09 mantoniotti 382
13:47:00 ' 383 * ChangeLog: ChangeLog updated.
' 384
' 385 * README, ACKNOWLEDGEMENTS, COPYING, INSTALLATION:
' 386 Updated copyrights dates and changed a few instructions in the
' 387 INSTALLATION file.
' 388
' 389 * docs/html/index.html: Updated copyrights dates.
' 390
' 391 * ChangeLog: ChangeLog updated.
' 392
' 393 * unification-package.lisp, unification.asd, apply-substitution.lisp, match-block.lisp, substitutions.lisp:
' 394 See previous message.
' 395
' 396 * unification.system:
' 397 Added file 'apply-substitition.lisp' with a few new functions that are
' 398 a start for the variable substitition operation.
' 399
' 400 New fixes to the MATCH and MATCH-CASE macros. They should now work as
' 401 advertised.
' 402
' 403 Minor changes to other files: added exports to package file, fixed
' 404 .system and .asd files.
' 405
2007-05-21 mantoniotti 406 2007-05-21 author <author@Paniscia-di-Marco-Antoniotti.local>
17:12:58 ' 407
' 408 * README, ACKNOWLEDGEMENTS, COPYING, INSTALLATION:
' 409 Updated copyrights dates and changed a few instructions in the
' 410 INSTALLATION file.
' 411
' 412 * docs/html/index.html: Updated copyrights dates.
' 413
' 414 * ChangeLog: ChangeLog updated.
' 415
' 416 * unification-package.lisp, unification.asd, apply-substitution.lisp, match-block.lisp, substitutions.lisp:
' 417 See previous message.
' 418
' 419 * unification.system:
' 420 Added file 'apply-substitition.lisp' with a few new functions that are
' 421 a start for the variable substitition operation.
' 422
' 423 New fixes to the MATCH and MATCH-CASE macros. They should now work as
' 424 advertised.
' 425
' 426 Minor changes to other files: added exports to package file, fixed
' 427 .system and .asd files.
' 428
2007-05-21 mantoniotti 429 2007-05-21 author <author@paniscia.disco.unimib.it>
16:55:57 ' 430
' 431 * unification.system:
' 432 Added file 'apply-substitition.lisp' with a few new functions that are
' 433 a start for the variable substitition operation.
' 434
' 435 New fixes to the MATCH and MATCH-CASE macros. They should now work as
' 436 advertised.
' 437
' 438 Minor changes to other files: added exports to package file, fixed
' 439 .system and .asd files.
' 440
' 441 2006-07-19 author <author@paniscia.disco.unimib.it>
' 442
' 443 * templates-hierarchy.lisp, unifier.lisp:
' 444 Fixed two problems with the unifier machinery.
' 445
' 446 The first one had to do with the matching of NIL against SYMBOL and LIST
' 447 in several places: essentially, the problem is incongruencies in the
' 448 results of COMPUTE-APPLICABLE-METHODS in these cases. I think I caught
' 449 most of them: unification of lists and the occur-check were the obvious
' 450 places where things went awry.
' 451
' 452 The second problem had to do with the reader macro #T. The original
' 453 code generated an object at read time, which is not such a good idea.
' 454 Now the code generates a call to MAKE-TEMPLATE with is evaluated later.
' 455 Incidentally, the reader macro function is now called |sharp-T-reader|, in
' 456 order to placate Emacs fontification.
' 457
' 458 Modified Files:
' 459 templates-hierarchy.lisp unifier.lisp
' 460
' 461 * unification-package.lisp: Added missing export.
' 462
' 463 2005-10-25 author <author@paniscia.disco.unimib.it>
' 464
' 465 * unifier.lisp: Fixed problem with the unification of a list with a
' 466 SEQUENCE-TEMPLATE. The implementation was not checking that the
' 467 length of the list was compatible with the length of the required
' 468 elements in the template.
' 469
' 470 Apart from that, keyword matching is still unimplemented.
' 471
' 472 * match-block.lisp:
' 473 Fixed problem with checking the presence of T and OTHERWISE clauses in
' 474 MATCHING.
' 475
' 476 2005-07-25 author <author@paniscia.disco.unimib.it>
' 477
' 478 * docs/html/downloads.html: Minor cleanup.
' 479
' 480 2005-05-20 author <author@paniscia.disco.unimib.it>
' 481
' 482 * docs/html/links.html: Fixed typos.
' 483
' 484 * docs/html/nil-template-class.html: Fixed bug in documentation.
' 485
' 486 * docs/html/links.html: Page updated.
' 487
' 488 * docs/html/unification-dictionary.html: Incremental change to page.
' 489
' 490 * docs/html/number-template-class.html: Fixed a documentation bug.
' 491 Thanks to Norman Werner for spotting it.
' 492
' 493 * docs/html/index.html: Added link to "Mailing Lists" page.
' 494
' 495 * docs/html/mailing-lists.html: File added.
' 496
' 497 * unifier.lisp:
' 498 Fixed two major bugs reported by Norman Werver. Unification of
' 499 strings and symbols and of numers and symbols was not recurring on
' 500 VAR-UNIFY, as required; thus
' 501
' 502 (unify '(?x ?x) '("asd" "qweert"))
' 503 and
' 504 (unify '(foo ?x baz) '(foo 42 ?x))
' 505
' 506 would succed.
' 507 The two cases are now fixed.
' 508
' 509 2005-05-19 author <author@paniscia.disco.unimib.it>
' 510
' 511 * README: Year updated.
' 512
' 513 * ACKNOWLEDGEMENTS: File added.
' 514
' 515 * ChangeLog: ChangeLog updated.
' 516
' 517 * COPYING: Updated copyright notice.
' 518
' 519 * docs/html/downloads.html, docs/html/index.html:
' 520 Changed the DISCLAIMER parts in the files, in order to clarify the licensing
' 521 of the code.
' 522
2004-11-17 mantoniotti 523 2005-05-19 mantoniotti <mantoniotti@vault>
22:19:54 ' 524
' 525 * COPYING: Updated copyright notice.
' 526
' 527 * docs/html/downloads.html, docs/html/index.html:
' 528 Changed the DISCLAIMER parts in the files, in order to clarify the licensing
' 529 of the code.
' 530
' 531 2005-04-27 mantoniotti <mantoniotti@vault>
' 532
' 533 * docs/html/control-flow.html: Fixed factorial example.
' 534
' 535 * match-block.lisp:
' 536 Added IGNORABLE declaration to MATCH macro expansion.
' 537 This is useful in quieting various compilers.
' 538
' 539 * match-block.lisp: Added acknowledgement to Peter Scott.
' 540
' 541 * match-block.lisp: Fixed bug in condition signaling within MATCH-CASE.
' 542
' 543 * templates-hierarchy.lisp:
' 544 Fixed bugs in COLLECT-TEMPLATE-VARS for NUMBER-TEMPLATEs.
' 545 If a variable was present, then the method was not returning a list.
' 546 The treatment of constants like PI was also incorrect, as the numeric
' 547 value was returned. Retunrning () seems the right thing to do
' 548 instead.
' 549
' 550 * match-block.lisp:
' 551 Added MATCH-CASE macro. Slightly modified from the version provided
' 552 by Peter Scott.
' 553
' 554 * unification.asd: Added unification.asd file.
' 555
' 556 2005-04-21 mantoniotti <mantoniotti@vault>
' 557
' 558 * docs/html/links.html: Fixed, but not completed, the page.
' 559
' 560 2005-01-28 mantoniotti <mantoniotti@vault>
' 561
' 562 * docs/html/downloads.html: Added file `downloads.html'.
' 563
' 564 * docs/html/index.html:
' 565 Minor changes to text. Fixed `download.html' link.
' 566
' 567 * lambda-list-parsing.lisp, unifier.lisp:
' 568 Fixed minor problem in Lambda List parsing.
' 569 Also VALID-TEMPLATE-P was expanded, and it looks like it should become
' 570 a generic function.
' 571
' 572 2004-11-17 mantoniotti <mantoniotti@vault>
' 573
' 574 * docs/html/images/unif-templ-hier.pcl, docs/html/images/unif-templ-hier.ps:
' 575 Initial import.
' 576
' 577 * docs/html/images/unif-templ-hier.pcl, docs/html/images/unif-templ-hier.ps:
' 578 New file.
' 579
' 580 * docs/html/images/Thumbs.db, docs/html/images/Thumbs.db:encryptable, docs/html/images/header_bg.gif, docs/html/images/header_bg_1.gif, docs/html/images/shim.gif, docs/html/images/unif-templ-hier.gif, docs/html/images/unif-templ-hier.pdf, docs/html/images/unif-templ-hier.sxd, docs/html/make-shared-environment-function.html, docs/html/match-case-macro.html, docs/html/standard-object-template-class.html, docs/html/string-template-class.html, docs/html/structure-object-template-class.html, docs/html/subseq-template-class.html:
' 581 Initial import.
' 582
' 583 * docs/html/images/Thumbs.db, docs/html/images/Thumbs.db:encryptable, docs/html/images/header_bg.gif, docs/html/images/header_bg_1.gif, docs/html/images/shim.gif, docs/html/images/unif-templ-hier.gif, docs/html/images/unif-templ-hier.pdf, docs/html/images/unif-templ-hier.sxd, docs/html/make-shared-environment-function.html, docs/html/match-case-macro.html, docs/html/standard-object-template-class.html, docs/html/string-template-class.html, docs/html/structure-object-template-class.html, docs/html/subseq-template-class.html:
' 584 New file.
' 585
' 586 * docs/html/.DS_Store, docs/html/aref-template-class.html, docs/html/array-template-class.html, docs/html/control-flow.html, docs/html/dictionary.html, docs/html/element-template-class.html, docs/html/elt-template-class.html, docs/html/expression-template-class.html, docs/html/find-variable-value-function.html, docs/html/hash-t-read-macro.html, docs/html/index.html, docs/html/links.html, docs/html/list-template-class.html, docs/html/main.css, docs/html/make-empty-environment-function.html, docs/html/match-macro.html, docs/html/matching-macro.html, docs/html/nil-template-class.html, docs/html/nth-template-class.html, docs/html/nthcdr-template-class.html, docs/html/number-template-class.html, docs/html/sequence-template-class.html, docs/html/symbol-template-class.html, docs/html/template-class.html, docs/html/template-p-function.html, docs/html/template-spec-accessor.html, docs/html/templates.html, docs/html/type-template-class.html, docs/html/unification-dictionary.html, docs/html/unify-function.html, docs/html/unify-package.html, docs/html/unifying-substitutions.html, docs/html/usci-variable.html, docs/html/vector-template-class.html, unification-package.lisp, unification.system, unifier.lisp, variables.lisp:
' 587 Initial import.
' 588
' 589 * docs/html/.DS_Store, docs/html/aref-template-class.html, docs/html/array-template-class.html, docs/html/control-flow.html, docs/html/dictionary.html, docs/html/element-template-class.html, docs/html/elt-template-class.html, docs/html/expression-template-class.html, docs/html/find-variable-value-function.html, docs/html/hash-t-read-macro.html, docs/html/index.html, docs/html/links.html, docs/html/list-template-class.html, docs/html/main.css, docs/html/make-empty-environment-function.html, docs/html/match-macro.html, docs/html/matching-macro.html, docs/html/nil-template-class.html, docs/html/nth-template-class.html, docs/html/nthcdr-template-class.html, docs/html/number-template-class.html, docs/html/sequence-template-class.html, docs/html/symbol-template-class.html, docs/html/template-class.html, docs/html/template-p-function.html, docs/html/template-spec-accessor.html, docs/html/templates.html, docs/html/type-template-class.html, docs/html/unification-dictionary.html, docs/html/unify-function.html, docs/html/unify-package.html, docs/html/unifying-substitutions.html, docs/html/usci-variable.html, docs/html/vector-template-class.html, unification-package.lisp, unification.system, unifier.lisp, variables.lisp:
' 590 New file.
' 591
' 592 * COPYING, INSTALLATION, README, lambda-list-parsing.lisp, match-block.lisp, substitutions.lisp, templates-hierarchy-saved.lisp, templates-hierarchy.lisp:
' 593 Initial import.
' 594
' 595 * COPYING, INSTALLATION, README, lambda-list-parsing.lisp, match-block.lisp, substitutions.lisp, templates-hierarchy-saved.lisp, templates-hierarchy.lisp:
' 596 New file.
' 597