Filewatcher File Search File Search
Catalog
Content Search
» » » »

aris-1.7.tar.gz

Homepage:-
Package version:-
Architecture:-
Distribution:GNU
Filename:aris-1.7.tar.gz

/aris-1.7/README

This is the README for the GNU Aris distribution.
Aris is a logical proof program, and supports propositional and predicate logic, Boolean algebra, and arithmetical logic in the form of abstract sequences (seqlog).

  Copyright (C) 2012 Ian Dunn

  Copying and distribution of this file, with or without modification,
  are permitted in any medium without royalty provided the copyright
  notice and 
more»

/aris-1.7/NEWS

This NEWS file records important changes.

  Copyright (C) 2012, Ian Dunn.

  Copying and distribution of this file, with or without modification,
  are permitted in any medium without royalty provided the copyright
  notice and this notice are preserved.

Updates in Version 1.7
 * Rules updated - bugs fixed.
 * Goal windows display title of proof
 * Subproof bug fixed.
 * Isar interoperability im
more»

/aris-1.7/ChangeLog

2012-05-24  Ian Dunn  <scholar42@gmail.com>

	* callbacks.c (gui_help): Added additional error message.

2012-05-23  Ian Dunn  <scholar42@gmail.com>

	* vec.h: Removed vec_int_un.

	* sentence.c: Added comments.

	* sen-data.c: Added comments.

	* list.c: Added comments.

	* vec.c: Added comments.

	* process.c: Added comments.

	* sexpr-process.c: Added comments.

	* sexpr-process-misc.c (proc_lm
more»

/aris-1.7/TODO

1;2802;0cGNU Aris -- TODO List

* Interoperability with Isabelle - in progress.
* Rules.
  TESTING
 
more»

/aris-1.7/AUTHORS

Authors of GNU Aris:

  Copyright (C) 2012 Ian Dunn.

  Copying and distribution of this file, with 
more»

/aris-1.7/THANKS

Additional contributers to GNU Aris.

  Copyright (C) 2012, Ian Dunn.

  Copying and distribution of
more»

/aris-1.7/COPYING

                    GNU GENERAL PUBLIC LICENSE
                       Version 3, 29 June 2007

 Copy
more»

Browse inside aris-1.7.tar.gz

         [DIR]aris-1.7/ (21)

Download aris-1.7.tar.gz

Results 1 - 1 of 1
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2017 FileWatcher.com