equal
deleted
inserted
replaced
15 ("<tab=" "<table>\n <head>\n <title>$1</title>\n </head>\n <thead>\n <tr>\n <td>$2</td>\n <td>$3</td>\n </tr>\n </thead>\n <tbody>\n <tr>\n <td>$4</td>\n <td>$5</td>\n </tr>\n </tbody>\n</table>" "<table>" nil nil nil nil nil nil) |
15 ("<tab=" "<table>\n <head>\n <title>$1</title>\n </head>\n <thead>\n <tr>\n <td>$2</td>\n <td>$3</td>\n </tr>\n </thead>\n <tbody>\n <tr>\n <td>$4</td>\n <td>$5</td>\n </tr>\n </tbody>\n</table>" "<table>" nil nil nil nil nil nil) |
16 ("<tit=" "<head>\n <title>$0</title>\n</head> " "<head><title>" nil nil nil nil nil nil) |
16 ("<tit=" "<head>\n <title>$0</title>\n</head> " "<head><title>" nil nil nil nil nil nil) |
17 ("<top=" "<!-- ================================================================== -->\n<topic>\n <head>\n <title>$1</title>\n </head>\n\n <section>\n <p>\n $0\n </p>\n </section>\n</topic>\n" "<topic>" nil nil nil nil nil nil))) |
17 ("<top=" "<!-- ================================================================== -->\n<topic>\n <head>\n <title>$1</title>\n </head>\n\n <section>\n <p>\n $0\n </p>\n </section>\n</topic>\n" "<topic>" nil nil nil nil nil nil))) |
18 |
18 |
19 |
19 |
20 ;;; Do not edit! File generated at Thu Dec 26 11:24:20 2013 |
20 ;;; Do not edit! File generated at Sun Jan 12 18:56:04 2014 |