| <?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> |