Markus Mottl avatar Markus Mottl committed 3d2a75a

Added version file

Comments (0)

Files changed (2)

+(*  AIFAD - Automated Induction of Functions over Algebraic Datatypes
+
+    Author: Markus Mottl
+    email:  markus.mottl@gmail.com
+    WWW:    http://www.ocaml.info
+
+    Copyright (C) 2002  Austrian Research Institute for Artificial Intelligence
+    Copyright (C) 2003- Markus Mottl
+
+    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 2 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, write to the Free Software
+    Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
+*)
+
+let version = "aifad-1.1.2"

src/version.ml.ab

+(*  AIFAD - Automated Induction of Functions over Algebraic Datatypes
+
+    Author: Markus Mottl
+    email:  markus.mottl@gmail.com
+    WWW:    http://www.ocaml.info
+
+    Copyright (C) 2002  Austrian Research Institute for Artificial Intelligence
+    Copyright (C) 2003- Markus Mottl
+
+    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 2 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, write to the Free Software
+    Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
+*)
+
+let version = "$(pkg_version)"
Tip: Filter by directory path e.g. /media app.js to search for public/media/app.js.
Tip: Use camelCasing e.g. ProjME to search for ProjectModifiedEvent.java.
Tip: Filter by extension type e.g. /repo .js to search for all .js files in the /repo directory.
Tip: Separate your search with spaces e.g. /ssh pom.xml to search for src/ssh/pom.xml.
Tip: Use ↑ and ↓ arrow keys to navigate and return to view the file.
Tip: You can also navigate files with Ctrl+j (next) and Ctrl+k (previous) and view the file with Ctrl+o.
Tip: You can also navigate files with Alt+j (next) and Alt+k (previous) and view the file with Alt+o.