package info (click to toggle)
matita 0.5.8-2
  • links: PTS, VCS
  • area: main
  • in suites: squeeze
  • size: 31,144 kB
  • ctags: 10,276
  • sloc: ml: 91,469; xml: 8,768; makefile: 2,021; ansic: 605; sh: 462; php: 381; awk: 121; perl: 36; sql: 11; sed: 4

Folder: matita

d .. (parent)
d d rwxr-xr-x 4,096 dist
d d rwxr-xr-x 31 doc
d d rwxr-xr-x 22 help
d d rwxr-xr-x 4,096 icons
d d rwxr-xr-x 79 legacy
d d rwxr-xr-x 4,096 library
d d rwxr-xr-x 4,096 nlibrary
d d rwxr-xr-x 4,096 scripts
d d rwxr-xr-x 4,096 tests
- - rw-r--r-- 1,322 .ocamlinit
- - rw-r--r-- 232 AUTHORS
- - rw-r--r-- 916 LICENSE
- - rw-r--r-- 11,758 Makefile
- - rw-r--r-- 15,003 applyTransformation.ml
- - rw-r--r-- 4,317 applyTransformation.mli
- - rw-r--r-- 2,340 buildTimeConf.ml.in
- - rw-r--r-- 467 closed.xml
- - rw-r--r-- 8,946 core_notation.moo
- - rw-r--r-- 1,150 dictionary-matita.xml
- - rw-r--r-- 1,971 dump_moo.ml
- - rw-r--r-- 758 gtkmathview.matita.conf.xml.in
- - rw-r--r-- 5,892 lablGraphviz.ml
- - rw-r--r-- 2,632 lablGraphviz.mli
- - rw-r--r-- 4,654 matita.conf.xml.in
- - rw-r--r-- 167,330 matita.glade
- - rw-r--r-- 2,601 matita.gtkrc
- - rw-r--r-- 8,729 matita.lang
- - rw-r--r-- 1,002 matita.ma.templ
- - rw-r--r-- 9,364 matita.ml
- - rw-r--r-- 23,774 matita.txt
- - rw-r--r-- 8,246 matitaAutoGui.ml
- - rw-r--r-- 1,238 matitaAutoGui.mli
- - rw-r--r-- 6,517 matitaEngine.ml
- - rw-r--r-- 2,190 matitaEngine.mli
- - rw-r--r-- 9,255 matitaExcPp.ml
- - rw-r--r-- 1,459 matitaExcPp.mli
- - rw-r--r-- 246,754 matitaGeneratedGui.ml
- - rw-r--r-- 14,750 matitaGtkMisc.ml
- - rw-r--r-- 5,575 matitaGtkMisc.mli
- - rw-r--r-- 66,969 matitaGui.ml
- - rw-r--r-- 1,964 matitaGui.mli
- - rw-r--r-- 4,903 matitaGuiTypes.mli
- - rw-r--r-- 10,454 matitaInit.ml
- - rw-r--r-- 1,429 matitaInit.mli
- - rw-r--r-- 63,335 matitaMathView.ml
- - rw-r--r-- 2,746 matitaMathView.mli
- - rw-r--r-- 5,488 matitaMisc.ml
- - rw-r--r-- 2,929 matitaMisc.mli
- - rw-r--r-- 44,905 matitaScript.ml
- - rw-r--r-- 3,458 matitaScript.mli
- - rw-r--r-- 3,836 matitaTypes.ml
- - rw-r--r-- 1,975 matitaTypes.mli
- - rw-r--r-- 8,693 matitaWiki.ml
- - rw-r--r-- 2,982 matitac.ml
- - rw-r--r-- 14,795 matitacLib.ml
- - rw-r--r-- 1,059 matitacLib.mli
- - rw-r--r-- 3,978 matitaclean.ml
- - rw-r--r-- 1,012 matitaclean.mli
- - rw-r--r-- 8,841 matitadep.ml
- - rw-r--r-- 1,012 matitadep.mli
- - rw-r--r-- 110,692 predefined_virtuals.ml
- - rw-r--r-- 88 predefined_virtuals.mli
- - rw-r--r-- 1,536 virtuals.ml
- - rw-r--r-- 435 virtuals.mli