Added STARTOFFSET and ENDOFFSET parameters to allow for slight editing to start and end times.
Fixes #5272.
</change>
<changename="Kristin Berry"date="2018-05-09">
Added the LEVEL=(SEGMENT*, INTERVAL) option to specify the time coverage level to be used for the generated database. SPICE segements are made up of SPICE intervals.
Segments (the only option in the past) are now the default, but interval can be selected if needed. Fixes #5410.
</change>
</history>
<groups>
@@ -221,6 +225,37 @@
</list>
</parameter>
</group>
<groupname="Coverage Level">
<parametername="LEVEL">
<type>string</type>
<default>
<item>SEGMENT</item>
</default>
<brief>
The level of time-granularity for the time-coverage interval to be output to the SPICE database.
</brief>
<description>
</description>
<list>
<optionvalue="SEGMENT">
<brief>
SPICE Segment
</brief>
<description>
The coarsest level of time granularity, a SPICE segment is composed of SPICE intervals.