GitHub - MichaelJE/Clips: Work

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commits
help		help
lang		lang
misc		misc
.gitattributes		.gitattributes
.gitignore		.gitignore
CLIPSEditor.pro		CLIPSEditor.pro
clipseditor.qrc		clipseditor.qrc
codeeditor.cpp		codeeditor.cpp
codeeditor.h		codeeditor.h
config.cpp		config.cpp
config.h		config.h
configdialog.cpp		configdialog.cpp
configdialog.h		configdialog.h
configdialog.ui		configdialog.ui
helpviewer.cpp		helpviewer.cpp
helpviewer.h		helpviewer.h
highlighter.cpp		highlighter.cpp
highlighter.h		highlighter.h
keywords.cpp		keywords.cpp
keywords.h		keywords.h
license.txt		license.txt
main.cpp		main.cpp
mainwindow.cpp		mainwindow.cpp
mainwindow.h		mainwindow.h
searchbar.cpp		searchbar.cpp
searchbar.h		searchbar.h
searchbar.ui		searchbar.ui
sessiondialog.cpp		sessiondialog.cpp
sessions.cpp		sessions.cpp
sessions.h		sessions.h
sessions.ui		sessions.ui
snippets.cpp		snippets.cpp
snippets.h		snippets.h
snippets.ui		snippets.ui

Repository files navigation

/*===========================================================================
    CLIPSEditor, editor for CLIPS (C Language Integrated Production System)
    Copyright (C) 2012 Novikov Artem Gennadievich

    This program is free software: you can redistribute it and/or modify
    it under the terms of the GNU General Public License as published by
    the Free Software Foundation, either version 3 of the License, or
    (at your option) any later version.

    This program is distributed in the hope that it will be useful,
    but WITHOUT ANY WARRANTY; without even the implied warranty of
    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
    GNU General Public License for more details.

    You should have received a copy of the GNU General Public License
    along with this program.  If not, see <http://www.gnu.org/licenses/>
===========================================================================*/