# do not edit -- automatically generated by arch changelog
# arch-tag: automatic-ChangeLog--miles@gnu.org--gnu-2005/tla-tools--devo--0
#

2006-01-26 06:23:20 GMT	Miles Bader <miles@gnu.org>	patch-29

    Summary:
      tla-prune-revlib: Keep "checkpoint" revisions
    Revision:
      tla-tools--devo--0--patch-29

    This establishes the concept of "checkpoint" revisions:  Given a
    checkpoint frequency FREQ (defaulting to 50), tla-prune-revlib will not
    prune revisions whose patch-number is a multiple of FREQ; these are
    intended to help establish an upper limit on the number of replays that
    are needed to retrieve an arbitrary older revision.

    modified files:
     ChangeLog tla-prune-revlib.shpp


2006-01-26 05:28:13 GMT	Miles Bader <miles@gnu.org>	patch-28

    Summary:
      tla-cvs-sync: Rewrite propagation of added/removed files to CVS
    Revision:
      tla-tools--devo--0--patch-28

    + Look at CVS/Entries to determine the current CVS status of files and
      directories.
    
    + Do directory adds/removes as separate commands before/after any files
      or subdirectories contained in them.  CVS does not properly handle
      the cases where a new directory and its files are both added using the
      same "cvs add" command.
    
    + If the arch changeset deletes a directory, tell CVS to delete it too.
    
    + If something goes wrong while trying to do cvs add/rm, don't delete
      the ",pending-changeset-add-dels" file, so that hopefully it can be
      processed successfully next time.

    modified files:
     ChangeLog TODO tla-cvs-sync.shpp


2006-01-19 01:36:45 GMT	Miles Bader <miles@gnu.org>	patch-27

    Summary:
      Recognize id-only archive names
    Revision:
      tla-tools--devo--0--patch-27


    modified files:
     ChangeLog tla-fork.shpp tla-partner.shpp tla-switch.shpp


2005-10-18 06:30:00 GMT	Miles Bader <miles@gnu.org>	patch-26

    Summary:
      Add to TODO
    Revision:
      tla-tools--devo--0--patch-26


    modified files:
     ChangeLog TODO


2005-10-18 00:54:21 GMT	Miles Bader <miles@gnu.org>	patch-25

    Summary:
      Add TODO file
    Revision:
      tla-tools--devo--0--patch-25


    new files:
     TODO

    modified files:
     ChangeLog


2005-05-30 17:20:36 GMT	Miles Bader <miles@gnu.org>	patch-24

    Summary:
      tagline-funs.awk: Add "gdb" extension
    Revision:
      tla-tools--devo--0--patch-24


    modified files:
     ChangeLog tagline-funs.awk


2005-04-11 22:39:46 GMT	Miles Bader <miles@gnu.org>	patch-23

    Summary:
      tla-cvs-sync: Fix handling of files added/removed from CVS
    Revision:
      tla-tools--devo--0--patch-23

    Don't do tree-lint just after updating from CVS, as that is tripped up by
    new or deleted files.
    
    Move tla-update-ids call earlier (before replaying new arch changesets),
    and commit any new taglines to CVS immediately.

    modified files:
     ChangeLog tla-cvs-sync.shpp


2005-04-07 04:08:44 GMT	Miles Bader <miles@gnu.org>	patch-22

    Summary:
      tla-cvs-sync: Check for problems again after CVS update
    Revision:
      tla-tools--devo--0--patch-22


    modified files:
     ChangeLog tla-cvs-sync.shpp


2005-04-07 04:04:03 GMT	Miles Bader <miles@gnu.org>	patch-21

    Summary:
      tla-cvs-sync: Don't do a tree-lint before CVS update
    Revision:
      tla-tools--devo--0--patch-21


    modified files:
     ChangeLog tla-cvs-sync.shpp


2005-03-25 23:42:00 GMT	Miles Bader <miles@gnu.org>	patch-20

    Summary:
      tla-cvs-sync: Fix typo
    Revision:
      tla-tools--devo--0--patch-20


    modified files:
     ChangeLog tla-cvs-sync.shpp


2005-03-25 23:26:23 GMT	Miles Bader <miles@gnu.org>	patch-19

    Summary:
      tla-cvs-sync: Do pending adds/deletes before initial cvs update
    Revision:
      tla-tools--devo--0--patch-19

    This avoids problems with CVS re-checking-out files that were deleted.
    
    Also avoid adding/deleting files that we've already added/deleted.

    modified files:
     ChangeLog tla-cvs-sync.shpp


2005-03-24 18:14:14 GMT	Miles Bader <miles@gnu.org>	patch-18

    Summary:
      tla-abbrev-merge-log: Use "base" instead of "base 0"
    Revision:
      tla-tools--devo--0--patch-18


    modified files:
     ChangeLog tla-abbrev-merge-log.shpp


2005-03-24 17:55:52 GMT	Miles Bader <miles@gnu.org>	patch-17

    Summary:
      tla-abbrev-merge-log: Fill summary lines
    Revision:
      tla-tools--devo--0--patch-17


    modified files:
     ChangeLog tla-abbrev-merge-log.shpp


2005-03-24 17:53:20 GMT	Miles Bader <miles@gnu.org>	patch-16

    Summary:
      tla-abbrev-merge-log: Fix archive-name matching
    Revision:
      tla-tools--devo--0--patch-16


    modified files:
     ChangeLog tla-abbrev-merge-log.shpp


2005-03-23 04:32:39 GMT	Miles Bader <miles@gnu.org>	patch-15

    Summary:
      tla-cvs-sync: Fix quoting
    Revision:
      tla-tools--devo--0--patch-15


    modified files:
     ChangeLog tla-cvs-sync.shpp


2005-03-23 04:30:02 GMT	Miles Bader <miles@gnu.org>	patch-14

    Summary:
      tla-cvs-sync: Batch up cvs add/rm commands
    Revision:
      tla-tools--devo--0--patch-14

    CVS is much when faster when multiple files are added or removed with a
    single command than when a separate command is used for each file, so
    batch up everything into a single "cvs rm" command and a single "cvs add"

    modified files:
     ChangeLog tla-cvs-sync.shpp


2005-03-20 23:04:31 GMT	Miles Bader <miles@gnu.org>	patch-13

    Summary:
      tagline-funs.awk: Add scheme/lisp extensions; distinguish asm .s/.S
    Revision:
      tla-tools--devo--0--patch-13


    modified files:
     ChangeLog tagline-funs.awk


2005-03-13 22:59:15 GMT	Miles Bader <miles@gnu.org>	patch-12

    Summary:
      tla-abbrev-merge-log: Fix -A option
    Revision:
      tla-tools--devo--0--patch-12


    modified files:
     ChangeLog tla-abbrev-merge-log.shpp


2005-03-13 01:47:40 GMT	Miles Bader <miles@gnu.org>	patch-11

    Summary:
      tla-prune-revlib: Tweak message
    Revision:
      tla-tools--devo--0--patch-11


    modified files:
     ChangeLog tla-prune-revlib.shpp


2005-03-13 01:43:33 GMT	Miles Bader <miles@gnu.org>	patch-10

    Summary:
      Update SIMPLE_CMD_SCRIPTS in Makefile
    Revision:
      tla-tools--devo--0--patch-10


    modified files:
     ChangeLog Makefile.in


2005-03-13 01:37:42 GMT	Miles Bader <miles@gnu.org>	patch-9

    Summary:
      Add tla-prune-revlib
    Revision:
      tla-tools--devo--0--patch-9


    new files:
     tla-prune-revlib.shpp

    modified files:
     ChangeLog Makefile.in


2005-03-12 04:26:19 GMT	Miles Bader <miles@gnu.org>	patch-8

    Summary:
      tla-commit-merge: Tell tla-abbrev-merge-log which default archive to use
    Revision:
      tla-tools--devo--0--patch-8


    modified files:
     ChangeLog tla-commit-merge.shpp


2005-03-12 04:22:32 GMT	Miles Bader <miles@gnu.org>	patch-7

    Summary:
      tla-abbrev-merge-log: Omit default archive from version names
    Revision:
      tla-tools--devo--0--patch-7


    modified files:
     ChangeLog tla-abbrev-merge-log.shpp


2005-02-25 09:38:02 GMT	Miles Bader <miles@gnu.org>	patch-6

    Summary:
      tla-abbrev-merge-log: Combine branches with identical summaries
    Revision:
      tla-tools--devo--0--patch-6


    modified files:
     ChangeLog tla-abbrev-merge-log.shpp


2005-02-25 06:34:38 GMT	Miles Bader <miles@gnu.org>	patch-5

    Summary:
      tla-abbrev-merge-log: Make output format even more concise
    Revision:
      tla-tools--devo--0--patch-5

    Instead of just collapsing ranges of patches, completely change the
    output format to be more concise, collecting all summary lines for a
    given version together, and outputting just the version name, a list of
    revision numbers in range format, and a list of summary lines (with
    redundant summary lines coalesced).
    
    The new format is less easily machine parseable, but the reduced
    redundancy should make the results more human friendly.
    
    Random text in the body is still passed through unchanged.

    modified files:
     ChangeLog tla-abbrev-merge-log.shpp


2005-02-15 13:28:48 GMT	Miles Bader <miles@gnu.org>	patch-4

    Summary:
      tla-cvs-sync: Don't get confused over changes in binary files
    Revision:
      tla-tools--devo--0--patch-4


    modified files:
     ChangeLog tla-cvs-sync.shpp


2005-02-14 04:59:07 GMT	Miles Bader <miles@gnu.org>	patch-3

    Summary:
      Add ChangeLog for miles@gnu.org--gnu-2005
    Revision:
      tla-tools--devo--0--patch-3


    new files:
     ChangeLog

    renamed files:
     ChangeLog
       ==> ChangeLog.d/tla-tools--devo--0--miles@gnu.org--gnu-2004


2005-02-14 00:38:49 GMT	Miles Bader <miles@gnu.org>	patch-2

    Summary:
      tla-switch: Make sure switching changeset is applied to tree-root
    Revision:
      tla-tools--devo--0--patch-2


    modified files:
     tla-switch.shpp


2005-01-02 03:33:10 GMT	Miles Bader <miles@gnu.org>	patch-1

    Summary:
      tla-fork: Add easy cross-archive forking
    Revision:
      tla-tools--devo--0--patch-1

    1) Allow specifying only an archive name, in which case the current version
       name is used in the new archive.
    
    2) If _no_ branch name is specified, use the user's default archive.  This is
       convenient for forking external projects into one's own archive; a simple
       error check catches the case where the fully-resolved version wouldn't
       change at all, which is what would happen if accidentally invoke tla-fork
       with no arguments in a tree already in one's default archive.
    
    3) The default archive used for new names with no archive specified has been
       changed to the user's default archive (before it used the archive of the
       tree's version), which seems more consistent with general tla operation.

    modified files:
     tla-fork.shpp


2005-01-02 03:32:29 GMT	Miles Bader <miles@gnu.org>	base-0

    Summary:
      tag of miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-90
    Revision:
      tla-tools--devo--0--base-0

    (automatically generated log message)

    new patches:
     asf@boinkor.net--2003p/tla-tools--sed-variable--0--base-0
     asf@boinkor.net--2003p/tla-tools--sed-variable--0--patch-1
     asf@boinkor.net--2003p/tla-tools--sed-variable--0--patch-2
     dne@mayonnaise.net--2004/tla-tools--dne--0--base-0
     dne@mayonnaise.net--2004/tla-tools--dne--0--patch-1
     dne@mayonnaise.net--2004/tla-tools--dne--0--patch-2
     dne@mayonnaise.net--2004/tla-tools--dne--0--patch-3
     dne@mayonnaise.net--2004/tla-tools--dne--0--patch-4
     dne@mayonnaise.net--2004/tla-tools--dne--0--patch-5
     dne@mayonnaise.net--2004/tla-tools--dne--0--patch-6
     dne@mayonnaise.net--2004/tla-tools--dne--0--patch-7
     dne@mayonnaise.net--2004/tla-tools--dne--0--patch-8
     hun@n-dimensional.de--2004-public/tla-tools--hun--0--base-0
     hun@n-dimensional.de--2004-public/tla-tools--hun--0--patch-1
     hun@n-dimensional.de--2004-public/tla-tools--hun--0--patch-2
     miles@gnu.org--gnu-2003/tla-tools--devo--0--base-0
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-1
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-2
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-3
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-4
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-5
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-6
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-7
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-8
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-9
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-10
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-11
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-12
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-13
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-14
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-15
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-16
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-17
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-18
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-19
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-20
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-21
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-22
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-23
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-24
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-25
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-26
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-27
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-28
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-29
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-30
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-31
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-32
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-33
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-34
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-35
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-36
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-37
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-38
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-39
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-40
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-41
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-42
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-43
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-44
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-45
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-46
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-47
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-48
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-49
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-50
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-51
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-52
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-53
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-54
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-55
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-56
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-57
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-58
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-59
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-60
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-61
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-62
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-63
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-64
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-65
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-66
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-67
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-68
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-69
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-70
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-71
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-72
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-73
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-74
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-75
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-76
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-77
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-78
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-79
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-80
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-81
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-82
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-83
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-84
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-85
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-86
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-87
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-88
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-89
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-90
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-91
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-92
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-93
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-94
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-95
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-96
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-97
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-98
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-99
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-100
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-101
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-102
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-103
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-104
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-105
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-106
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-107
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-108
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-109
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-110
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-111
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-112
     miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-113
     miles@gnu.org--gnu-2003/tla-tools--x--0--base-0
     miles@gnu.org--gnu-2003/tla-tools--x--0--patch-1
     miles@gnu.org--gnu-2003/tla-tools--x--0--patch-2
     miles@gnu.org--gnu-2003/tla-tools--x--0--patch-3
     miles@gnu.org--gnu-2003/tla-tools--x--0--patch-4
     miles@gnu.org--gnu-2003/tla-tools--x--0--patch-5
     miles@gnu.org--gnu-2003/tla-tools--x--0--patch-6
     miles@gnu.org--gnu-2003/tla-tools--x--0--patch-7
     miles@gnu.org--gnu-2003/tla-tools--x--0--patch-8
     miles@gnu.org--gnu-2003/tla-tools--x--0--patch-9
     miles@gnu.org--gnu-2003/tla-tools--x--0--patch-10
     miles@gnu.org--gnu-2003/tla-tools--x--0--patch-11
     miles@gnu.org--gnu-2003/tla-tools--x--0--patch-12
     miles@gnu.org--gnu-2003/tla-tools--x--0--patch-13
     miles@gnu.org--gnu-2003/tla-tools--x--0--patch-14
     miles@gnu.org--gnu-2003/tla-tools--x--0--patch-15
     miles@gnu.org--gnu-2003/tla-tools--x--0--patch-16
     miles@gnu.org--gnu-2003/tla-tools--x--0--patch-17
     miles@gnu.org--gnu-2003/tla-tools--x--0--patch-18
     miles@gnu.org--gnu-2003/tla-tools--x--0--patch-19
     miles@gnu.org--gnu-2004/tla-tools--devo--0--base-0
     miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-1
     miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-2
     miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-3
     miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-4
     miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-5
     miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-6
     miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-7
     miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-8
     miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-9
     miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-10
     miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-11
     miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-12
     miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-13
     miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-14
     miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-15
     miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-16
     miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-17
     miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-18
     miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-19
     miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-20
     miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-21
     miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-22
     miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-23
     miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-24
     miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-25
     miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-26
     miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-27
     miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-28
     miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-29
     miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-30
     miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-31
     miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-32
     miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-33
     miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-34
     miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-35
     miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-36
     miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-37
     miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-38
     miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-39
     miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-40
     miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-41
     miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-42
     miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-43
     miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-44
     miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-45
     miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-46
     miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-47
     miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-48
     miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-49
     miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-50
     miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-51
     miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-52
     miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-53
     miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-54
     miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-55
     miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-56
     miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-57
     miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-58
     miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-59
     miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-60
     miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-61
     miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-62
     miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-63
     miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-64
     miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-65
     miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-66
     miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-67
     miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-68
     miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-69
     miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-70
     miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-71
     miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-72
     miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-73
     miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-74
     miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-75
     miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-76
     miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-77
     miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-78
     miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-79
     miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-80
     miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-81
     miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-82
     miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-83
     miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-84
     miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-85
     miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-86
     miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-87
     miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-88
     miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-89
     miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-90
     walters@verbum.org--2003/tla-tools--mainline--1.0--base-0
     walters@verbum.org--2003/tla-tools--mainline--1.0--patch-1
     walters@verbum.org--2003/tla-tools--mainline--1.0--patch-2
     walters@verbum.org--2003/tla-tools--mainline--1.0--patch-3
     walters@verbum.org--2003/tla-tools--mainline--1.0--patch-4
     walters@verbum.org--2003/tla-tools--mainline--1.0--patch-5
     walters@verbum.org--2003/tla-tools--mainline--1.0--patch-6
     walters@verbum.org--2003/tla-tools--mainline--1.0--patch-7
     walters@verbum.org--2003/tla-tools--mainline--1.0--patch-8
     walters@verbum.org--2003/tla-tools--mainline--1.0--patch-9
     walters@verbum.org--2003/tla-tools--mainline--1.0--patch-10
     walters@verbum.org--2003/tla-tools--mainline--1.0--patch-11


