| <?xml version="1.0" encoding="UTF-8"?> |
| <?NLS TYPE="org.eclipse.help.toc"?> |
| <!-- |
| #=============================================================================# |
| # Copyright (c) 2008, 2021 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 top level topics --> |
| <!-- ============================================================================= --> |
| <toc label="StatET User Guide"> |
| <anchor id="introduction"/> |
| <anchor id="getting_started"/> |
| <anchor id="main_languages"/> |
| <anchor id="common_tools"/> |
| </toc> |