Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
193 check-ins using file doc/load.n version 47fabde012
|
2021-03-18
| ||
| 14:49 | Merge 8.7 check-in: 459781ae04 user: jan.nijtmans tags: trunk, main | |
| 12:09 | Merge 8.7 check-in: bdf0dab453 user: jan.nijtmans tags: trunk, main | |
| 09:52 | Merge 8.7 check-in: 587db5d2a3 user: jan.nijtmans tags: trunk, main | |
| 09:13 | Merge 8.7 check-in: 702b3410f7 user: jan.nijtmans tags: trunk, main | |
|
2021-03-17
| ||
| 15:05 | Merge 8.7 check-in: 341e1e54c4 user: jan.nijtmans tags: trunk, main | |
| 09:07 | Merge 8.7 check-in: f4fc2b9a0d user: jan.nijtmans tags: trunk, main | |
|
2021-03-16
| ||
| 09:26 | Merge 8.7 check-in: 3dee9dd236 user: jan.nijtmans tags: trunk, main | |
|
2021-03-15
| ||
| 14:03 | merge trunk check-in: 9bebd2ea8b user: dgp tags: dgp-refactor | |
| 14:01 | merge trunk check-in: 9949dc3d16 user: dgp tags: dgp-properbytearray | |
| 13:22 | Merge 9.0 check-in: 3a716783cc user: jan.nijtmans tags: novem | |
| 13:19 | Merge 8.7 check-in: 519cd67931 user: jan.nijtmans tags: trunk, main | |
| 12:31 | Merge 8.7 (this is the TIP #575 implementation for Tcl 9.0) check-in: 3fed9809e1 user: jan.nijtmans tags: trunk, main | |
| 12:11 | Merge 8.7 (without TIP #575) check-in: 17e534b3b0 user: jan.nijtmans tags: trunk, main | |
|
2021-03-11
| ||
| 14:43 | merge trunk check-in: 1517cf05c6 user: dgp tags: dgp-properbytearray | |
| 14:42 | merge trunk check-in: b8e768016d user: dgp tags: dgp-refactor | |
|
2021-03-10
| ||
| 16:19 | Merge 9.0 check-in: 1b19ce788e user: jan.nijtmans tags: novem | |
| 16:17 | Merge 8.7 check-in: 3c64a79d6a user: jan.nijtmans tags: trunk, main | |
| 15:48 | Merge 8.7 check-in: 62a4501023 user: jan.nijtmans tags: trunk, main | |
| 07:51 | Move internal stub entry 260 to 259, the same place it is in 8.7. check-in: 4ad98514e4 user: jan.nijtmans tags: trunk, main | |
|
2021-03-09
| ||
| 15:38 | merge trunk check-in: c45498ec1b user: dgp tags: dgp-properbytearray | |
| 15:37 | merge trunk check-in: 384db9aa58 user: dgp tags: dgp-refactor | |
| 09:21 | Merge 9.0 check-in: cf8c54dd6b user: jan.nijtmans tags: novem | |
| 09:21 | Merge 8.7 check-in: 017895f04d user: jan.nijtmans tags: trunk, main | |
| 08:58 | Merge 9.0 check-in: 01d0bc2c57 user: jan.nijtmans tags: novem | |
| 08:56 | Merge 8.7 (zipfs changes) check-in: 7beca9cd1d user: jan.nijtmans tags: trunk, main | |
|
2021-03-08
| ||
| 17:13 | Merge 8.7 (up to, but without the zipfs changes, for now) check-in: da16f9005e user: jan.nijtmans tags: trunk, main | |
|
2021-03-04
| ||
| 15:58 | merge trunk check-in: 8f5ab8b30f user: dgp tags: dgp-refactor | |
| 15:54 | merge trunk check-in: d6a847a06a user: dgp tags: dgp-properbytearray | |
| 10:55 | Merge trunk check-in: c37508e6ef user: jan.nijtmans tags: novem | |
| 10:46 | Merge 8.7 check-in: e87d7d0c9e user: jan.nijtmans tags: trunk, main | |
|
2021-03-02
| ||
| 11:02 | Merge 8.7 check-in: 981b059a3f user: jan.nijtmans tags: trunk, main | |
|
2021-02-27
| ||
| 11:22 | Ticket [87082587c4]: typo in msgcat man page check-in: 04993f41e0 user: oehhar tags: trunk, main | |
|
2021-02-26
| ||
| 15:56 | Merge 9.0 check-in: 8693487b96 user: jan.nijtmans tags: rfe-854941, tip-596 | |
| 15:17 | Merge 8.7 check-in: 3fd3a98b5c user: jan.nijtmans tags: trunk, main | |
| 13:27 | Merge 8.7 check-in: 5982d297e1 user: jan.nijtmans tags: trunk, main | |
| 09:10 | Try to fix Visual Studio build check-in: b25a3b4fc8 user: jan.nijtmans tags: rfe-854941, tip-596 | |
|
2021-02-24
| ||
| 15:29 | merge trunk check-in: 5752520ea3 user: dgp tags: dgp-properbytearray | |
| 15:28 | merge trunk check-in: 0d2a613e7c user: dgp tags: dgp-refactor | |
| 15:22 | merge trunk check-in: 0c43d43882 user: dgp tags: novem | |
| 13:12 | Merge 9.0 check-in: 6f7c8f0a0e user: jan.nijtmans tags: rfe-854941, tip-596 | |
| 13:06 | Merge 8.7. Fix "make checkstubs" check-in: 22df97a1f2 user: jan.nijtmans tags: trunk, main | |
| 10:14 | Final implementation tweaks, fix comments, allow Tcl to load from <prefix>/lib (or <prefix>/bin on w... check-in: 01105328e4 user: jan.nijtmans tags: rfe-854941, tip-596 | |
|
2021-02-23
| ||
| 14:10 | Merge 9.0 check-in: 261346436c user: jan.nijtmans tags: rfe-854941, tip-596 | |
| 13:30 | Merge 8.7 check-in: cc1541f8c3 user: jan.nijtmans tags: trunk, main | |
| 07:42 | Merge 8.7 check-in: 2c08ab8d35 user: jan.nijtmans tags: trunk, main | |
|
2021-02-19
| ||
| 07:21 | Merge 8.7 check-in: dbcb35a6b5 user: jan.nijtmans tags: trunk, main | |
|
2021-02-18
| ||
| 12:15 | Merge 9.0 check-in: 1f8438c15d user: jan.nijtmans tags: novem | |
| 12:12 | Merge 8.7 check-in: 5ff4138b7f user: jan.nijtmans tags: trunk, main | |
| 11:37 | Merge 9.0 check-in: 71da4ac96e user: jan.nijtmans tags: novem | |
| 11:31 | Change (internal) signatures for TclpGetClicks/TclpGetSeconds to use "unsigned long long" in stead o... check-in: a939981a1b user: jan.nijtmans tags: trunk, main | |
| 08:51 | Merge 8.7 check-in: 5d8fd75e2d user: jan.nijtmans tags: trunk, main | |
|
2021-02-17
| ||
| 17:37 | Merge 9.0 check-in: 5d51d3c1fc user: jan.nijtmans tags: rfe-854941, tip-596 | |
| 16:19 | Merge 8.7 check-in: edcd893275 user: jan.nijtmans tags: trunk, main | |
| 15:55 | Merge 8.7 check-in: 6ff6cd4286 user: jan.nijtmans tags: trunk, main | |
| 09:47 | Merge 8.7 check-in: 95b0dd4e91 user: jan.nijtmans tags: trunk, main | |
|
2021-02-16
| ||
| 16:36 | merge trunk check-in: 6e2b8e49c3 user: dgp tags: dgp-refactor | |
| 16:31 | merge trunk check-in: 5ada5ae596 user: dgp tags: dgp-properbytearray | |
| 16:28 | merge trunk check-in: 8a346f3454 user: dgp tags: novem | |
| 13:59 | Merge 8.7 check-in: f3e860273b user: jan.nijtmans tags: trunk, main | |
| 12:14 | Merge 8.7 check-in: 7dcf2aa4a8 user: jan.nijtmans tags: trunk, main | |
| 08:39 | Merge 8.7. Fix warning in tclStubInit.c when TCL_UTF_MAX=3 check-in: e203a7e507 user: jan.nijtmans tags: trunk, main | |
|
2021-02-15
| ||
| 16:26 | Merge 8.7 check-in: 27fe95d43f user: jan.nijtmans tags: trunk, main | |
| 12:44 | Merge 8.7 check-in: 47981618a9 user: jan.nijtmans tags: trunk, main | |
| 08:24 | Merge 8.7 check-in: d6ba033f5d user: jan.nijtmans tags: trunk, main | |
| 07:53 | Merge 8.7 check-in: decfa0d4bd user: jan.nijtmans tags: trunk, main | |
|
2021-02-12
| ||
| 17:29 | Merge 8.7 check-in: c7cf4b89d7 user: jan.nijtmans tags: trunk, main | |
|
2021-02-10
| ||
| 13:43 | Merge 8.7 check-in: 90ba3f0415 user: jan.nijtmans tags: trunk, main | |
| 09:16 | Merge 8.7 check-in: a097730544 user: jan.nijtmans tags: trunk, main | |
|
2021-02-08
| ||
| 16:01 | Merge 8.7 check-in: a28f3a2b95 user: jan.nijtmans tags: trunk, main | |
| 11:19 | Merge 8.7 check-in: b3984fa211 user: jan.nijtmans tags: trunk, main | |
|
2021-02-05
| ||
| 18:32 | merge trunk check-in: 41969ea53b user: dgp tags: dgp-refactor | |
| 18:28 | merge trunk check-in: 39e35a5337 user: dgp tags: novem | |
| 18:27 | merge trunk check-in: 66feefbb32 user: dgp tags: dgp-properbytearray | |
| 13:47 | Merge 8.7 check-in: b26052e140 user: jan.nijtmans tags: trunk, main | |
| 11:38 | Merge 8.7 check-in: 36a077b724 user: jan.nijtmans tags: trunk, main | |
|
2021-02-04
| ||
| 13:15 | Merge 8.7 check-in: b2dd30d2d8 user: jan.nijtmans tags: trunk, main | |
| 11:15 | Merge 8.7 check-in: b3e43c59d7 user: jan.nijtmans tags: trunk, main | |
|
2021-02-02
| ||
| 08:59 | Merge 8.7 check-in: 8c240f20c5 user: jan.nijtmans tags: trunk, main | |
|
2021-02-01
| ||
| 08:20 | Merge 8.7 check-in: 4ca19d8b85 user: jan.nijtmans tags: trunk, main | |
|
2021-01-29
| ||
| 14:12 | Merge 8.7 check-in: 81a4045590 user: jan.nijtmans tags: trunk, main | |
|
2021-01-28
| ||
| 16:17 | Merge 8.7 check-in: f5905e4d54 user: jan.nijtmans tags: trunk, main | |
| 12:11 | Restore accidently overwritten testcases check-in: cbda4839f6 user: jan.nijtmans tags: tip-526 | |
| 11:58 | Merge 9.0 check-in: 425b938783 user: jan.nijtmans tags: tip-526 | |
| 11:28 | Merge 8.7 check-in: 14f908e6da user: jan.nijtmans tags: trunk, main | |
|
2021-01-27
| ||
| 10:16 | Merge 8.7 check-in: d2b9c8b993 user: jan.nijtmans tags: trunk, main | |
|
2021-01-26
| ||
| 14:58 | Merge 9.0 check-in: a4e064c41c user: jan.nijtmans tags: stub-simplification | |
| 14:37 | Merge 9.0 check-in: ecf0c4c9fd user: jan.nijtmans tags: novem | |
| 14:30 | More more stub-entries, making the internal platform table more equal to each other. Old entries kep... check-in: ec3a34dadd user: jan.nijtmans tags: trunk, main | |
| 10:58 | Sort platform-dependant entries in tclInt.decls. No change in generated tcl*Decls.h check-in: 32ad91cbac user: jan.nijtmans tags: trunk, main | |
|
2021-01-25
| ||
| 19:13 | merge trunk check-in: 697a471639 user: dgp tags: dgp-properbytearray | |
| 19:11 | merge trunk check-in: 1a927c82bd user: dgp tags: dgp-refactor | |
| 15:22 | Merge 9.0 check-in: 0deaf58f10 user: jan.nijtmans tags: novem | |
| 15:20 | Remove 4 (internal, MacOS-specific) functions from internal stub table, MODULE_SCOPE should be suffi... check-in: c21dcdc4c7 user: jan.nijtmans tags: trunk, main | |
| 12:28 | Merge 8.7 check-in: 577cde587a user: jan.nijtmans tags: trunk, main | |
| 12:13 | Merge 9.0 check-in: 49528c0ea6 user: jan.nijtmans tags: novem | |
| 12:05 | Merge 8.7 check-in: e1314c4f17 user: jan.nijtmans tags: trunk, main | |
| 10:40 | Merge 8.7 check-in: 70e00e7830 user: jan.nijtmans tags: trunk, main | |
| 10:05 | Merge 9.0 check-in: a851465dc4 user: jan.nijtmans tags: novem | |
| 10:04 | Remove many commented-out sections of tclInt.decls: Since Tcl 9.0 doesn't need to be binary compatib... check-in: fb46cdf2a6 user: jan.nijtmans tags: trunk, main | |
| 09:18 | Merge 9.0 check-in: 0928a89ce6 user: jan.nijtmans tags: novem | |
| 09:17 | Merge 8.7 check-in: 0aac7e4fc4 user: jan.nijtmans tags: trunk, main | |
| 08:31 | Merge 9.0 check-in: 1775bf0701 user: jan.nijtmans tags: novem | |
| 08:28 | Merge 8.7 check-in: 344a1a2d40 user: jan.nijtmans tags: trunk, main | |
|
2021-01-22
| ||
| 22:09 | merge trunk (resolve conflicts (wrong?)) check-in: 0cfefeea27 user: dgp tags: novem | |
| 22:04 | merge trunk check-in: dac0dfb7c7 user: dgp tags: dgp-properbytearray | |
| 21:53 | merge trunk check-in: 027da05f57 user: dgp tags: dgp-refactor | |
| 15:31 | Undo (for now) removal of TclMacOSXNotifierAddRunLoopMode(), we don't want an earlier compiled Tk to... check-in: a30056b4c9 user: jan.nijtmans tags: trunk, main | |
| 15:04 | Merge 8.7. Simplify handling of platform-dependant API's like Tcl_CreateFileHandler check-in: e15aa5f741 user: jan.nijtmans tags: trunk, main | |
|
2021-01-21
| ||
| 16:03 | Merge 8.7 check-in: 61b8f79164 user: jan.nijtmans tags: trunk, main | |
| 15:49 | Merge 8.7 check-in: 7eef120709 user: jan.nijtmans tags: trunk, main | |
| 14:05 | Merge TIP 481 (resolve conflicts) check-in: 61fcaefc06 user: jan.nijtmans tags: dgp-properbytearray | |
| 12:47 | Close fork check-in: 56b170d942 user: jan.nijtmans tags: trunk, main | |
|
2021-01-20
| ||
| 23:05 | Improve [file attributes] documentation check-in: 7a50bd12b0 user: msi tags: trunk, main | |
| 16:27 | Merge 8.7 check-in: 64c79bc531 user: jan.nijtmans tags: trunk, main | |
| 07:51 | Merge 8.7 check-in: b2bd4c6c96 user: jan.nijtmans tags: trunk, main | |
|
2021-01-19
| ||
| 20:57 | Improve clarity of [file attributes] documentation check-in: 1e63a19ae8 user: msi tags: trunk, main | |
|
2021-01-15
| ||
| 22:28 | merge trunk check-in: 8ccfdaac0e user: dgp tags: dgp-refactor | |
| 22:23 | Merge TIP 481 (resolve conflicts) check-in: 8cdef98ab8 user: dgp tags: dgp-refactor | |
| 18:36 | Merge pre-TIP 481 commits from trunk. check-in: 5e1e0f4d5c user: dgp tags: dgp-refactor | |
| 18:22 | Merge pre-TIP 481 commits from trunk check-in: fc566d704e user: dgp tags: dgp-properbytearray | |
| 18:10 | merge trunk check-in: d0052e35da user: dgp tags: novem | |
| 15:25 | Merge 8.7 check-in: c6e9b10e59 user: jan.nijtmans tags: trunk, main | |
| 12:52 | Merge 8.7 check-in: e27717450d user: jan.nijtmans tags: trunk, main | |
|
2021-01-14
| ||
| 17:00 | Merge 8.7 check-in: 484f8533e1 user: jan.nijtmans tags: trunk, main | |
|
2021-01-13
| ||
| 15:45 | Merge 9.0 check-in: a71800ff56 user: jan.nijtmans tags: novem | |
| 15:40 | Merge 8.7 check-in: 9dd47b0da9 user: jan.nijtmans tags: trunk, main | |
| 10:50 | Merge 8.7 check-in: 1764c23a7e user: jan.nijtmans tags: trunk, main | |
|
2021-01-11
| ||
| 16:35 | Merge 9.0 check-in: 59988d4fee user: jan.nijtmans tags: novem | |
| 16:03 | merge-mark check-in: aaaeb74cbb user: jan.nijtmans tags: trunk, main | |
| 15:58 | Make tclStrToD.c compile on systems without inttypes.h check-in: 0ed255ceae user: jan.nijtmans tags: trunk, main | |
| 11:54 | Merge 9.0 check-in: b117f526f0 user: jan.nijtmans tags: novem | |
| 11:54 | Merge 8.7 check-in: 4d8578a441 user: jan.nijtmans tags: trunk, main | |
| 10:34 | Merge 9.0 check-in: f070ae806a user: jan.nijtmans tags: novem | |
| 10:03 | Merge 8.7, resolve conflicts check-in: 015ff38790 user: jan.nijtmans tags: trunk, main | |
|
2021-01-08
| ||
| 21:07 | Merge 8.7 (resolve conflicts) check-in: 5295f674c1 user: dgp tags: trunk, main | |
|
2021-01-06
| ||
| 15:50 | Merge 8.7 check-in: 3d5972d7ba user: jan.nijtmans tags: trunk, main | |
| 11:34 | Merge 8.7 check-in: 156639ff9c user: jan.nijtmans tags: trunk, main | |
|
2021-01-05
| ||
| 20:43 | Fix unclear language in re_syntax. [2da4c23916] check-in: 1270285eaf user: dkf tags: trunk, main | |
| 17:09 | Merge 8.7 check-in: b766819c0d user: jan.nijtmans tags: trunk, main | |
| 14:45 | Merge 8.7 check-in: 190b02c875 user: jan.nijtmans tags: trunk, main | |
| 10:31 | Merge 8.7 check-in: e5495ab8e3 user: jan.nijtmans tags: trunk, main | |
| 09:21 | Merge 8.7 check-in: 90db34b475 user: jan.nijtmans tags: trunk, main | |
|
2021-01-04
| ||
| 16:47 | Merge 8.7 check-in: d8e62a2ee2 user: jan.nijtmans tags: trunk, main | |
| 14:52 | Merge 8.7 check-in: c30ecca85f user: jan.nijtmans tags: trunk, main | |
|
2021-01-03
| ||
| 00:38 | merge trunk check-in: 7d3fec4985 user: dgp tags: dgp-refactor | |
| 00:37 | merge trunk check-in: 8a3db81899 user: dgp tags: dgp-properbytearray | |
| 00:33 | merge trunk check-in: e4e8aebf6c user: dgp tags: novem | |
| 00:27 | merge 8.7 check-in: b91e25f3a2 user: dgp tags: trunk, main | |
|
2020-12-26
| ||
| 22:18 | Merge 8.7 check-in: 58d06cdd91 user: jan.nijtmans tags: trunk, main | |
|
2020-12-24
| ||
| 15:50 | Merge 9.0 check-in: 88108d7070 user: jan.nijtmans tags: novem | |
| 15:47 | Merge 8.7 check-in: 67e1901465 user: jan.nijtmans tags: trunk, main | |
|
2020-12-23
| ||
| 10:30 | Update TZ info to tzdata2020e (via merge). check-in: 59c556c99b user: jima tags: trunk, main | |
| 08:18 | Merge 8.7 check-in: 588297be22 user: jan.nijtmans tags: trunk, main | |
| 07:49 | Merge 8.7 check-in: 3b70a6e9e9 user: jan.nijtmans tags: trunk, main | |
|
2020-12-22
| ||
| 09:29 | Merge 8.7 check-in: 4c96528802 user: jan.nijtmans tags: trunk, main | |
|
2020-12-21
| ||
| 14:40 | merge trunk check-in: 8cf6700e13 user: dgp tags: dgp-properbytearray | |
| 14:39 | merge trunk check-in: 84eb5ab6a3 user: dgp tags: dgp-refactor | |
| 14:32 | merge trunk check-in: d28a4d8d67 user: dgp tags: novem | |
|
2020-12-19
| ||
| 22:27 | Merge 8.7 check-in: 84911eb20c user: jan.nijtmans tags: trunk, main | |
|
2020-12-18
| ||
| 14:40 | Merge 9.0 check-in: 712ea865e9 user: jan.nijtmans tags: novem | |
| 14:09 | Merge 8.7 check-in: b285c97872 user: jan.nijtmans tags: trunk, main | |
|
2020-12-17
| ||
| 14:12 | Merge 8.7 check-in: 9c685bd28a user: jan.nijtmans tags: trunk, main | |
| 08:22 | Re-generate configure scripts with (brand-new!!!) autoconf-2.70 check-in: 091ddee886 user: jan.nijtmans tags: trunk, main | |
|
2020-12-16
| ||
| 14:33 | Merge 8.7 check-in: 002142f34b user: jan.nijtmans tags: trunk, main | |
|
2020-12-14
| ||
| 08:53 | Merge-mark check-in: bc29856fdd user: jan.nijtmans tags: trunk, main | |
| 08:27 | Merge 8.7 check-in: 55ae10a3d1 user: jan.nijtmans tags: trunk, main | |
|
2020-12-13
| ||
| 16:47 | Merge 8.7 check-in: 6c9c94a3f9 user: jan.nijtmans tags: trunk, main | |
|
2020-12-12
| ||
| 11:44 | Merge 8.7 check-in: bd7d63535d user: jan.nijtmans tags: trunk, main | |
|
2020-12-11
| ||
| 12:45 | Merge 8.7 check-in: 872541937d user: jan.nijtmans tags: trunk, main | |
|
2020-12-10
| ||
| 19:51 | merge trunk check-in: 1293ec099f user: dgp tags: novem | |
| 19:35 | Merge trunk; silence shadow warning check-in: fd76c5f3fc user: dgp tags: dgp-refactor | |
| 19:32 | merge trunk check-in: 8f9097afd5 user: dgp tags: dgp-properbytearray | |
| 18:06 | Merge 8.7 check-in: 9d8d36a986 user: jan.nijtmans tags: trunk, main | |
| 13:28 | Merge 8.7 check-in: 43e2b97ad9 user: jan.nijtmans tags: trunk, main | |
| 09:52 | Merge 8.7 check-in: cec350ad10 user: jan.nijtmans tags: trunk, main | |
|
2020-12-09
| ||
| 09:57 | Merge-mark check-in: c207a8b0e3 user: jan.nijtmans tags: trunk, main | |
| 09:55 | Fix github actions Windows build check-in: 60b2ccdc4f user: jan.nijtmans tags: trunk, main | |
| 09:20 | Merge 8.7 check-in: 47dd18d0ab user: jan.nijtmans tags: trunk, main | |
| 06:28 | Merge 8.7 (nmake) check-in: faca0cb7d1 user: apnadkarni tags: trunk, main | |
|
2020-12-08
| ||
| 15:42 | Merge 8.7 check-in: 71493b571b user: jan.nijtmans tags: trunk, main | |
| 10:35 | Merge 8.7 check-in: 620702d16a user: jan.nijtmans tags: trunk, main | |
|
2020-12-07
| ||
| 16:56 | merge trunk check-in: 5cae1c172b user: dgp tags: dgp-refactor | |
| 16:44 | merge trunk check-in: c8d2829e02 user: dgp tags: dgp-properbytearray | |
| 16:38 | merge trunk check-in: fffa5665df user: dgp tags: novem | |
| 15:11 | Merge 8.7 check-in: 1daba5bf99 user: jan.nijtmans tags: trunk, main | |
| 14:37 | Merge 9.0 check-in: 3e01853fea user: jan.nijtmans tags: novem | |
| 14:34 | Merge 8.7 check-in: f88e5a5f30 user: jan.nijtmans tags: trunk, main | |
|
2020-12-06
| ||
| 20:58 | Period. Closed-Leaf check-in: 32fada4bd6 user: bch tags: NULL_non-retriever | |
| 20:57 | comment grammar check-in: 8fdd7464bd user: bch tags: NULL_non-retriever | |
| 18:39 | allow NULL for indexPtr to say "am not interested in index, just membership in set of possibilities"... check-in: 56944df1f7 user: bch tags: NULL_non-retriever | |
|
2020-12-05
| ||
| 02:56 | Merge 8.7 check-in: 783a808f94 user: apnadkarni tags: trunk, main | |
|
2020-12-04
| ||
| 11:46 | Merge 9.0 Closed-Leaf check-in: 3cbe782495 user: jan.nijtmans tags: paths-for-9 | |
| 11:02 | Merge 8.7 check-in: 6ce9d46084 user: jan.nijtmans tags: trunk, main | |