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

matita_0.99.1.orig.tar.gz

Homepage:-
Package version:-
Architecture:-
Distribution:Debian
Filename:matita_0.99.1.orig.tar.gz

/components/ng_tactics/README

+letin: basta la refine fatta con occurcheck
+cut:   letin; clearbody ~-1 (cosa sia ~-1 è da capirsi)

-generalize:
  a) verificare che tutti i termini selezionati siano convertibili
  b) spostare i termini selezionati nel contesto corrente/spostare il
     termine bucato sotto un lambda
  c) bucare e liftare deve essere fatto contemporaneamente
  d) poi usare tatticali per fare cut + apply

=fai
more»

/components/syntax_extensions/README.syntax

Helm Utf8 macro syntax extension for Camlp4

Sample file:

  --- test.ml ---

  prerr_endline <:unicode<lambda>>

  ---------------

Compile it with:

  ocamlfind ocamlc -package helm-utf8_macros -syntax camlp5o test.ml


/matita/scripts/README

bench.sql  
  the SQL code to generate the bench table
  
crontab  
  install this crontab (may need tweaking) to have cron run the whole
  stuff for you
  
crontab.sh  
  the script crontab should run (includes a "pretty" report)

do_tests.sh  
  script used by ../Makefile to run matitac[.opt] on some tests. supports some
  options and prints out some informations neded my insert

profile_svn.sh

more»

/matita/tests/TPTP/README

to generate the problems:

  cd ../../../components/binaries/tptp2grafite/
  make generate
  cd ../.
more»

/matita/dist/ChangeLog

0.99.1 - 17/11/2011 - alpha version for the 1.x series
	* old kernel, unification, etc. removed
	* n
more»

/components/ng_kernel/TODO

muovere la split_prods nella riduzione e usarla nel caso di convertibilità di 2 match
in are_conver
more»

/matita/contribs/dama/dama_duality/TODO

changing file resets the display-notation ref, but not the GUI tick
mettere una maction in tutti i b
more»

/matita/dist/TODO

TODO:
- "ncoercion" statement:
  - simple syntax
  - generation of hints to implement the pullback
-
more»

Browse inside matita_0.99.1.orig.tar.gz

         [DIR]components/ (27)  39227+ mirrors
5.16 KB2012-03-12configure.ac  view
3.29 KB2012-03-12Makefile  view  385+ mirrors
422 B2012-03-12Makefile.defs.in  view  2 mirrors
         [DIR]matita/ (61)  2361+ mirrors

Download matita_0.99.1.orig.tar.gz

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