Spec Changes List (so you don't have to re-read things :-)
==========================================================

30-June-2012:

    1.  Fix / disambiguate / complete Oper values for
        ParseStmt and ParseExpr.
    
        See: SearchOptions.html#Table:_ParseExpr_and_ParseStmt_Oper
        and  SearchOptions.html#Oper

    
    2.  Add Sort Key field "Complexity" which is a
        combination of two fields: ParseDepth and
        Formula length. Same as two separate fields,
        major and minor, but documented as a single
        compound field for ease of use and documentation.
       
        See: SearchOptions.html#SORT_KEY_FIELDS_TABLE
        and  SearchOptions.html#SORT_SEQUENCE_TABLE


    3.  Moved options "Use Related Chapter/Section Hierarchy"
        and "Search-Proximity Scoring" from the Search Data
        section of the Search Options to Search Preferences
        in the Exclusion area. The change is based on the
        idea that these options will be more useful if these
        settings are retained across searches, until changed
        by the user. And, while Search Proximity Scoring
        isn't likely to be very popular, the Use Chapter/Section
        Hierarchy option will likely be the default because it
        eliminates many irrelevant and extraneous search results.
        

    4.  Search Options history goes back nine versions instead
        of four. This applies to the PrevSearchData menu
        and the pulldown list for the Search-For-What.
        
        NOTE: RE: PersistentStorageOfGUIPreferences.html
        
            - The history data will be stored with the persistent
              storage data for the GUI prefererences (i.e. in the
              same file :-)
            
            - History data elements in the persistent storage
              file will be assigned numbers from 1 thru 9. Logically
              the numbers could be -1, -2, etc., but we'll omit
              the '-' for simplicity (the user should not need to
              edit the file's contents anyway...)
              
            - The current version of the historical data elements
              is assigned number 0, but this is just for batch testing
              purposes: the GUI will not *store* the current data
              but it will *use* the current data if present in
              the persistent storage file.



    5.  Wrote PersistentStorageOfGUIPreferences.html. Some
        updates to this document are expected as a result
        of minor detail changes made during coding.
        
    
    6.  Updated MMJ2_Release_20121225_Proposals.html
    
        - Add "Reuse Step Selector Search" menu item to the
          Proof Assistant window to initiate
          a search using the previously input Search Data
          criteria instead of starting with no Search
          Data criteria. In most cases no Search Data
          will be needed -- just the user's Search Preferences.
          Search Data criteria tend to be for special cases,
          not the typical search for a unifying assertion.
          
        - Dragging the right border of the Proof Assistant
          window to adjust its width, plus changes to font,
          font size and bold vs. plain text will update the
          right-margin used in proof formatting (via TMFF).
          The current system uses the ProofAsstFormulaRightCol
          batch RunParm and GUI updates have no effect upon
          proof formatting margination. Once the user makes
          these adjustments to achieve perfect customization
          for his/her needs, the settings will be stored
          using the Persistent Storage Of GUI Preferences
          enhancement.
          
        - Added section 4. Changes to the Step Selector Search
          Dialog window (in lieu of a separate .html document
          because the changes are relatively minor.)