Viewing all changes in revision 3.
- Committer: Bazaar Package Importer
- Date: 2005-03-22 17:40:08 UTC
- mfrom: (1.2.1 upstream) (2.1.2 hoary)
- Revision ID: james.westby@ubuntu.com-20050322174008-xc2tuedduzy6c6on
* Rebuilding with OCaml 3.08.3 is necessary because of the former dependency
  on ocaml-base-nox-3.08.
* Removed the dependency on ocaml-base-nox-3.08 since ocamlrun does not seem
  to be necessary, even on non-native archs.
* Cleaner handling of -arch and -indep targets.
* Added utf8.v in coq and utf8.vo to coq-libs since utf8 can be useful for
  non-coqide users too.
* Using dh_desktop to register .desktop files.
  on ocaml-base-nox-3.08.
* Removed the dependency on ocaml-base-nox-3.08 since ocamlrun does not seem
  to be necessary, even on non-native archs.
* Cleaner handling of -arch and -indep targets.
* Added utf8.v in coq and utf8.vo to coq-libs since utf8 can be useful for
  non-coqide users too.
* Using dh_desktop to register .desktop files.
- files added:
- .depend.coq7
- contrib/cc
- contrib/first-order
- contrib/funind
- contrib/jprover
- contrib7
- contrib7/cc
- contrib7/correctness
- contrib7/extraction
- contrib7/field
- contrib7/fourier
- contrib7/interface
- contrib7/omega
- contrib7/ring
- contrib7/romega
- ide
- ide/utils
- interp
- states7
- test-suite/modules
- theories/NArith
- theories7
- theories7/Arith
- theories7/Bool
- theories7/Init
- theories7/IntMap
- theories7/Lists
- theories7/Logic
- theories7/NArith
- theories7/Reals
- theories7/Relations
- theories7/Setoids
- theories7/Sets
- theories7/Sorting
- theories7/Wellfounded
- theories7/ZArith
- tools/coqdoc
- translate
- files removed:
- contrib/correctness/ProgWf.v
- contrib/graphs
- doc
- files modified:
- .depend
expand all
collapse all
added
removed
ide/coq.png
