[jyh] Added a bit more on reference cells._Mon Sep 19 07:34:50 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-34-50-960441000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-34-50-960441000-PDT.html[nogin] Added itt_hoas_bterm to theories.pdf_Mon Sep 19 07:34:52 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-34-52-049364000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-34-52-049364000-PDT.html[nogin] OMakeroot now requires omake 0.9.4.19 _since it refers to STDLIB variable_Mon Sep 19 07:34:52 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-34-52-588894000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-34-52-588894000-PDT.html[jyh] Added some initial text on splay trees._Mon Sep 19 07:34:52 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-34-52-927400000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-34-52-927400000-PDT.html[nogin] Documentation update._Mon Sep 19 07:35:15 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-35-15-226054000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-35-15-226054000-PDT.html[nogin] Made the dform_base type abstract._Mon Sep 19 07:35:15 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-35-15-633645000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-35-15-633645000-PDT.html[jyh] This is an example of using the vmount function to specify a build_Mon Sep 19 07:35:16 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-35-16-639396000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-35-16-639396000-PDT.html[nogin] Because of the _VERSION_ variable clash, this OMakeroot now requires omake ___Mon Sep 19 07:35:17 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-35-17-083118000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-35-17-083118000-PDT.html[jyh] Minor changes to the VERSION._Mon Sep 19 07:35:17 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-35-17-414871000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-35-17-414871000-PDT.html[jyh] The .o suffix should be __EXT_OBJ_._Mon Sep 19 07:35:17 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-35-17-757854000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-35-17-757854000-PDT.html[nogin] Opname _shortening_ in display forms._Mon Sep 19 07:35:18 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-35-18-130467000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-35-18-130467000-PDT.html[nogin] The proper opname shortener support _previous commit_ made a number of display_Mon Sep 19 07:35:19 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-35-19-100714000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-35-19-100714000-PDT.html[nogin] Fixed a typo_Mon Sep 19 07:35:19 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-35-19-879378000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-35-19-879378000-PDT.html[nogin] Minor type fix_Mon Sep 19 07:35:54 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-35-54-368341000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-35-54-368341000-PDT.html[nogin] Minor type fixes_Mon Sep 19 07:35:54 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-35-54-922508000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-35-54-922508000-PDT.html[nogin] Added a proper type for logic/calculus specification in JProver _which_Mon Sep 19 07:36:10 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-10-987704000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-10-987704000-PDT.html[yegor] replaced array with list for representing node subtrees, there are still several List.nth there but except for the root all lists are either of length 1 or 2_Mon Sep 19 07:36:12 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-12-654606000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-12-654606000-PDT.html[yegor] reverting my accidental commit_Mon Sep 19 07:36:13 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-13-594414000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-13-594414000-PDT.html[nogin] Further code clean_up_Mon Sep 19 07:36:15 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-15-286711000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-15-286711000-PDT.html[nogin] Minor clean_up_Mon Sep 19 07:36:16 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-16-870954000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-16-870954000-PDT.html[nogin] Changed the string encoding of left/right paths into a list one _reversing the_Mon Sep 19 07:36:17 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-17-429392000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-17-429392000-PDT.html[nogin] Inlined the _permute_ function._Mon Sep 19 07:36:18 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-18-209809000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-18-209809000-PDT.html[nogin] Simplified the path handling, getting rid of the next_direction function._Mon Sep 19 07:36:18 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-18-930246000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-18-930246000-PDT.html[nogin] Inlined some of the match tests._Mon Sep 19 07:36:19 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-19-645768000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-19-645768000-PDT.html[nogin] Further clean_ups__Mon Sep 19 07:36:20 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-20-632227000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-20-632227000-PDT.html[jyh] This is incomplete, but I better commit before I lose it._Mon Sep 19 07:36:22 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-22-021107000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-22-021107000-PDT.html[yegor] Moved both instances of unification algorithms into separate files._Mon Sep 19 07:36:22 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-22-511422000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-22-511422000-PDT.html[yegor] Unified the way non_unifiability is propagated._Mon Sep 19 07:36:24 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-24-156061000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-24-156061000-PDT.html[yegor] One more function happened to do the same thing in different ways, joined it to one common function._Mon Sep 19 07:36:24 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-24-577836000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-24-577836000-PDT.html[yegor] added __EXE_ to camlp4o and camlp4r_Mon Sep 19 07:36:25 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-25-039792000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-25-039792000-PDT.html[yegor] Unified two unification algorithms into one_Mon Sep 19 07:36:25 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-25-414044000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-25-414044000-PDT.html[yegor] Unification stage is now uses non_string representation of positions._Mon Sep 19 07:36:29 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-29-565008000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-29-565008000-PDT.html[yegor] Duplicated the string fieldis with more structural fields in pos and atom types._Mon Sep 19 07:36:31 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-31-055913000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-31-055913000-PDT.html[yegor] More code converted to non_string format_Mon Sep 19 07:36:31 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-31-779982000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-31-779982000-PDT.html[yegor] A little more progress on getting rid of string representation._Mon Sep 19 07:36:32 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-32-363500000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-32-363500000-PDT.html[jyh] More text._Mon Sep 19 07:36:33 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-33-128547000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-33-128547000-PDT.html[yegor] Forgot to commit it for consistency _ I changed the name of a probably unused variable,_Mon Sep 19 07:36:33 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-33-735765000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-33-735765000-PDT.html[nogin] Added the MMC_s __C_ notation for contexts that do not introduce bindings to_Mon Sep 19 07:36:34 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-34-142076000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-34-142076000-PDT.html[nogin] Do a backup_all before processing a syscall. This should cure the most common_Mon Sep 19 07:36:34 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-34-653051000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-34-653051000-PDT.html[yegor] A little more progress._Mon Sep 19 07:36:35 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-35-115007000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-35-115007000-PDT.html[yegor] 1. replaced _0___1__...__9_ with _0_.._9__Mon Sep 19 07:36:35 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-35-916969000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-35-916969000-PDT.html[yegor] replaced and_s with let_s_Mon Sep 19 07:36:36 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-36-777935000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-36-777935000-PDT.html[yegor] Inlined all the unification condition r1..r10 into one big match._Mon Sep 19 07:36:37 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-37-172563000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-37-172563000-PDT.html[yegor] Removed a small redundancy introduced in the previous commit._Mon Sep 19 07:36:37 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-37-638925000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-37-638925000-PDT.html[yegor] There was a redundant conversion from position to string and back, removed._Mon Sep 19 07:36:38 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-38-023982000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-38-023982000-PDT.html[yegor] Removed one more place where new positions where constructed by direct operations_Mon Sep 19 07:36:38 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-38-537060000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-38-537060000-PDT.html[yegor] A small progress. I do commits so often because otherwise it tends to span for 3 hours_Mon Sep 19 07:36:39 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-39-076927000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-39-076927000-PDT.html[yegor] A little more progress_Mon Sep 19 07:36:39 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-39-600318000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-39-600318000-PDT.html[yegor] And more._Mon Sep 19 07:36:40 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-40-223002000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-40-223002000-PDT.html[yegor] Getting rid of splitting substitutions into two lists and then recombining them two lines later._Mon Sep 19 07:36:40 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-40-774061000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-40-774061000-PDT.html[yegor] Replaced another casual use of strings with option_type_Mon Sep 19 07:36:41 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-41-346216000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-41-346216000-PDT.html[nogin] _ Fill reasonable defaults for TERMS, REFINER, etc _instead of _undefined__,_Mon Sep 19 07:36:41 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-41-892542000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-41-892542000-PDT.html[yegor] Introduced a more unform naming convention for string representation of positions._Mon Sep 19 07:36:42 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-42-348373000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-42-348373000-PDT.html[yegor] Slowly moving away string representation of positions_Mon Sep 19 07:36:43 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-43-168359000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-43-168359000-PDT.html[yegor] More progress_Mon Sep 19 07:36:43 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-43-744571000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-43-744571000-PDT.html[yegor] and more progress_Mon Sep 19 07:36:44 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-44-268833000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-44-268833000-PDT.html[yegor] and more_Mon Sep 19 07:36:44 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-44-781921000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-44-781921000-PDT.html[yegor] a little more_Mon Sep 19 07:36:45 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-45-692986000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-45-692986000-PDT.html[yegor] and more progress_Mon Sep 19 07:36:46 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-46-216229000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-46-216229000-PDT.html[yegor] More progress, I expanded it to a new group of functions, hence temporal performance hit._Mon Sep 19 07:36:46 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-46-757495000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-46-757495000-PDT.html[yegor] even more changes_Mon Sep 19 07:36:47 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-47-312991000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-47-312991000-PDT.html[yegor] and more_Mon Sep 19 07:36:47 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-47-961056000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-47-961056000-PDT.html[yegor] another small change_Mon Sep 19 07:36:48 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-48-575346000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-48-575346000-PDT.html[yegor] another change_Mon Sep 19 07:36:49 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-49-131403000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-49-131403000-PDT.html[yegor] And more..._Mon Sep 19 07:36:49 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-49-703678000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-49-703678000-PDT.html[yegor] morechanges_Mon Sep 19 07:36:50 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-50-276820000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-50-276820000-PDT.html[yegor] and more..._Mon Sep 19 07:36:50 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-50-803981000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-50-803981000-PDT.html[yegor] Variables bound be All/Exists should be represented as symbols, not as strings._Mon Sep 19 07:36:51 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-51-327223000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-51-327223000-PDT.html[nogin] Simplified the theory a bit to better match the FOL tutorial__Mon Sep 19 07:36:51 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-51-994368000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-51-994368000-PDT.html[yegor] a little more_Mon Sep 19 07:36:54 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-54-426905000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-54-426905000-PDT.html[yegor] more progress_Mon Sep 19 07:36:54 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-54-964151000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-54-964151000-PDT.html[yegor] some more_Mon Sep 19 07:36:55 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-55-505163000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-55-505163000-PDT.html[yegor] And more_Mon Sep 19 07:36:56 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-56-106418000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-56-106418000-PDT.html[yegor] more changes_Mon Sep 19 07:36:56 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-56-674633000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-56-674633000-PDT.html[yegor] more progress_Mon Sep 19 07:36:57 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-57-191646000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-57-191646000-PDT.html[yegor] made position ordering as close to their string representation ordering as possible,_Mon Sep 19 07:36:57 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-57-702342000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-57-702342000-PDT.html[yegor] Removed name field _string_ from pos type. atom type still has aname because of ordering issue._Mon Sep 19 07:36:58 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-58-287929000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-58-287929000-PDT.html[yegor] replaced _atom.aprefix _ string list_ with _atom.aposprefix _ position list__Mon Sep 19 07:36:58 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-58-948422000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-58-948422000-PDT.html[yegor] Subtrees were indexed from 1 to n but because lists are indexed from 0, there was_Mon Sep 19 07:36:59 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-59-697589000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-36-59-697589000-PDT.html[yegor] Removed a helper data type that I used in my previous commit to catch all index shifts._Mon Sep 19 07:37:00 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-00-380454000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-00-380454000-PDT.html[yegor] bproof as now position_based instead of string_based_Mon Sep 19 07:37:01 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-01-042424000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-01-042424000-PDT.html[yegor] preparations to remove string encoding from ptree type _the last one, excluding sorting issue_._Mon Sep 19 07:37:01 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-01-669846000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-01-669846000-PDT.html[yegor] from now on ptree uses position type instead of strings._Mon Sep 19 07:37:02 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-02-254020000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-02-254020000-PDT.html[yegor] minor changes_Mon Sep 19 07:37:02 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-02-870225000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-02-870225000-PDT.html[yegor] use specialized equality for _position_ instead of polymorphic ____Mon Sep 19 07:37:03 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-03-404387000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-03-404387000-PDT.html[yegor] I started to experiment with replaciing List.append with List.rev_append._Mon Sep 19 07:37:03 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-03-925171000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-03-925171000-PDT.html[yegor] One more rev_append_Mon Sep 19 07:37:04 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-04-432377000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-04-432377000-PDT.html[yegor] And more_Mon Sep 19 07:37:04 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-04-927259000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-04-927259000-PDT.html[yegor] One more_Mon Sep 19 07:37:05 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-05-436199000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-05-436199000-PDT.html[yegor] one more_Mon Sep 19 07:37:05 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-05-935442000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-05-935442000-PDT.html[yegor] more rev_append_s_Mon Sep 19 07:37:06 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-06-449735000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-06-449735000-PDT.html[yegor] One more optimization_Mon Sep 19 07:37:06 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-06-954230000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-06-954230000-PDT.html[yegor] More rev_appends_Mon Sep 19 07:37:07 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-07-460099000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-07-460099000-PDT.html[yegor] Some more rev_appends_Mon Sep 19 07:37:07 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-07-985863000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-07-985863000-PDT.html[yegor] More rev_appends_Mon Sep 19 07:37:08 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-08-494635000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-08-494635000-PDT.html[yegor] More rev_appends and other optimizations_Mon Sep 19 07:37:09 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-09-009458000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-09-009458000-PDT.html[yegor] replaced one map with rev_map_Mon Sep 19 07:37:09 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-09-693463000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-09-693463000-PDT.html[yegor] one more rev_append and one place idenitifed as not convertible to rev_append_Mon Sep 19 07:37:10 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-10-242557000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-10-242557000-PDT.html[yegor] Converted three nested mutually recursive functions into three non_nested mutually recursive functions._Mon Sep 19 07:37:10 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-10-765551000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-10-765551000-PDT.html[yegor] Moved one more nested function outside_Mon Sep 19 07:37:11 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-11-516411000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-11-516411000-PDT.html[yegor] more rev_appends_Mon Sep 19 07:37:12 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-12-107560000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-12-107560000-PDT.html[yegor] one more rev_append_Mon Sep 19 07:37:12 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-12-635042000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-12-635042000-PDT.html[yegor] one more rev_append_Mon Sep 19 07:37:13 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-13-572877000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-13-572877000-PDT.html[yegor] a pair of rev_appends_Mon Sep 19 07:37:14 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-14-083838000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-14-083838000-PDT.html[yegor] total, tot andsolve were mutually nested, now they are non nested_Mon Sep 19 07:37:14 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-14-605299000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-14-605299000-PDT.html[yegor] one more rev_append_Mon Sep 19 07:37:15 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-15-296796000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-15-296796000-PDT.html[yegor] one more append turned to cons_Mon Sep 19 07:37:15 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-15-788976000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-15-788976000-PDT.html[yegor] one more rev_append_Mon Sep 19 07:37:16 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-16-269254000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-16-269254000-PDT.html[yegor] append_orderings was reimplementing List.flatten, deleted_Mon Sep 19 07:37:16 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-16-797325000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-16-797325000-PDT.html[yegor] un_nested another pair of functions_Mon Sep 19 07:37:17 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-17-335067000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-17-335067000-PDT.html[yegor] a couple of appends replaced with cons_Mon Sep 19 07:37:17 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-17-893860000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-17-893860000-PDT.html[yegor] three more rev_appends_Mon Sep 19 07:37:18 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-18-417819000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-18-417819000-PDT.html[yegor] two more rev_appends_Mon Sep 19 07:37:18 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-18-984276000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-18-984276000-PDT.html[yegor] and more rev_appends_Mon Sep 19 07:37:19 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-19-514116000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-19-514116000-PDT.html[yegor] one more rev_append_Mon Sep 19 07:37:20 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-20-041353000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-20-041353000-PDT.html[yegor] more re_appends and rev_maps_Mon Sep 19 07:37:20 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-20-584858000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-20-584858000-PDT.html[yegor] documenting a place where rev_append won_t work_Mon Sep 19 07:37:21 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-21-143327000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-21-143327000-PDT.html[yegor] one more rev_append_Mon Sep 19 07:37:21 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-21-675095000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-21-675095000-PDT.html[yegor] documenting another place where rev_append won_t work_Mon Sep 19 07:37:22 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-22-204722000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-22-204722000-PDT.html[yegor] one more place where rev_append won_t work, plus some formatting fixes_Mon Sep 19 07:37:22 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-22-749661000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-22-749661000-PDT.html[yegor] more rev_maps_Mon Sep 19 07:37:23 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-23-299145000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-23-299145000-PDT.html[yegor] 1.One more place where rev_append won_t work_Mon Sep 19 07:37:23 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-23-830640000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-23-830640000-PDT.html[yegor] one more rev_map_Mon Sep 19 07:37:24 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-24-373528000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-24-373528000-PDT.html[yegor] three rev_maps_Mon Sep 19 07:37:24 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-24-906352000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-24-906352000-PDT.html[yegor] one more rev_map_Mon Sep 19 07:37:25 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-25-440924000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-25-440924000-PDT.html[yegor] two rev_maps_Mon Sep 19 07:37:25 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-25-964465000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-25-964465000-PDT.html[yegor] one rev_map_Mon Sep 19 07:37:26 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-26-493010000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-26-493010000-PDT.html[yegor] one more rev_map_Mon Sep 19 07:37:27 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-27-029963000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-27-029963000-PDT.html[yegor] one more rev_map_Mon Sep 19 07:37:27 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-27-553656000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-27-553656000-PDT.html[yegor] now in jtunify_ one rev_append_Mon Sep 19 07:37:28 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-28-076256000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-28-076256000-PDT.html[yegor] documented a place where rev_append changes proofs_Mon Sep 19 07:37:28 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-28-468897000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-28-468897000-PDT.html[yegor] Replaced append with a cons_Mon Sep 19 07:37:28 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-28-870245000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-28-870245000-PDT.html[yegor] map __ rev_map_Mon Sep 19 07:37:29 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-29-264026000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-29-264026000-PDT.html[yegor] one more place where rev_append does not work_Mon Sep 19 07:37:29 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-29-656906000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-29-656906000-PDT.html[yegor] It seems that connections should be stored as a set not as a list, here is first step towards this_Mon Sep 19 07:37:30 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-30-050134000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-30-050134000-PDT.html[yegor] lists of solved/unsolved positions are also sets from now on_Mon Sep 19 07:37:30 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-30-653239000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-30-653239000-PDT.html[yegor] more functions converted to _connections in a set__Mon Sep 19 07:37:31 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-31-295868000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-31-295868000-PDT.html[yegor] more position lists converted to sets_Mon Sep 19 07:37:31 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-31-874859000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-31-874859000-PDT.html[yegor] one more connection set_Mon Sep 19 07:37:32 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-32-471775000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-32-471775000-PDT.html[yegor] added a small comment_Mon Sep 19 07:37:33 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-33-008093000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-33-008093000-PDT.html[yegor] documenting one place where connection sets don_t work _at least for now__Mon Sep 19 07:37:33 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-33-533712000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-33-533712000-PDT.html[yegor] more connection sets_Mon Sep 19 07:37:34 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-34-071956000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-34-071956000-PDT.html[yegor] more code treats connections as a set_Mon Sep 19 07:37:34 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-34-621499000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-34-621499000-PDT.html[yegor] more connection sets_Mon Sep 19 07:37:35 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-35-210580000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-35-210580000-PDT.html[yegor] beta expansions also behave like sets_Mon Sep 19 07:37:35 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-35-782551000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-35-782551000-PDT.html[yegor] one mor eplace where connection sets don_t work_Mon Sep 19 07:37:36 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-36-345242000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-36-345242000-PDT.html[yegor] removed a function that is not used anymore_Mon Sep 19 07:37:36 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-36-895976000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-36-895976000-PDT.html[yegor] more lists replaced with sets_Mon Sep 19 07:37:37 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-37-431731000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-37-431731000-PDT.html[yegor] made one function tail_recursive_Mon Sep 19 07:37:37 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-37-983031000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-37-983031000-PDT.html[yegor] more lists converted to sets_Mon Sep 19 07:37:38 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-38-577715000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-38-577715000-PDT.html[yegor] one more list replaced with a set_Mon Sep 19 07:37:39 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-39-137503000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-39-137503000-PDT.html[yegor] more lists converted to sets_Mon Sep 19 07:37:39 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-39-676928000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-39-676928000-PDT.html[yegor] of_list __ of_sorted_list_Mon Sep 19 07:37:40 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-40-252793000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-40-252793000-PDT.html[yegor] Make use of range_fold_Mon Sep 19 07:37:41 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-41-045078000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-41-045078000-PDT.html[nogin] Slight update in how the documentation terms are handled._Mon Sep 19 07:37:41 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-41-584754000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-41-584754000-PDT.html[yegor] replaced one kind of lists with a map_Mon Sep 19 07:37:42 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-42-166175000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-42-166175000-PDT.html[yegor] another kind of lists converted to sets_Mon Sep 19 07:37:42 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-42-757110000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-42-757110000-PDT.html[nogin] Working on making the _doc_ comments more uniform._Mon Sep 19 07:37:43 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-43-362864000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-06/2005-09-19-07-37-43-362864000-PDT.html