<?xml version="1.0" encoding="UTF-8"?>
<?NLS TYPE="org.eclipse.help.toc"?>
<!--
 #=============================================================================#
 # Copyright (c) 2008, 2020 Stephan Wahlbrink and others.
 # 
 # This program and the accompanying materials are made available under the
 # terms of the Eclipse Public License 2.0 which is available at
 # https://www.eclipse.org/legal/epl-2.0, or the Apache License, Version 2.0
 # which is available at https://www.apache.org/licenses/LICENSE-2.0.
 # 
 # SPDX-License-Identifier: EPL-2.0 OR Apache-2.0
 # 
 # Contributors:
 #     Stephan Wahlbrink <sw@wahlbrink.eu> - initial API and implementation
 #=============================================================================#
-->

<!-- ============================================================================= -->
<!-- StatET NICO topics                                                            -->
<!-- ============================================================================= -->
<toc label="StatET Console User Guide" link_to="toc.xml#common_tools">
   <topic href="reference/console_view.xhtml" label="Console View">
   </topic>
   <topic href="reference/cmd_history.xhtml" label="Cmd History View">
   </topic>
</toc>