Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-01-27 14:59:07 -0800 (Tue, 27 Jan 2004)
Revision: 5291
Log message:

      Omake used to produce the list of theories to put into the .pdf file by doing
      
      ALL_THEORIES = $(intersection $(DEF_ALL_THEORIES), $(THEORIES))
      
      Unfortunately, $intersection puts everything in alphabetical order, which is
      unacceptable (e.g. czf must go after itt). I changed it to simply use
      the standard list of theories (which will fail if some of those theories are not
      in $(THEORIES) ).
      

Changes  Path
+1 -2 metaprl/doc/latex/theories/OMakefile