Skip to content
Snippets Groups Projects
  1. Mar 14, 2018
    • Raymond Toy's avatar
      Update manual date to 21c · 3c749f8b
      Raymond Toy authored
      Just change the date on the manual to the date of the 21c release.
      Now that we can create the html pages again with hevea, we can update
      this.
      3c749f8b
  2. Mar 05, 2018
  3. Feb 13, 2018
  4. Sep 27, 2016
  5. Sep 26, 2016
    • Raymond Toy's avatar
      Remove :before-execve option · 47b1e69b
      Raymond Toy authored
      The documentation for this keyward option to run-program was
      commented, but the actual option was not removed from the list of
      options for run-program.
      
      Remove it.
      47b1e69b
  6. Sep 13, 2014
  7. Aug 26, 2014
  8. Sep 21, 2013
  9. Mar 04, 2013
  10. Jan 17, 2013
    • Raymond Toy's avatar
      Change default output format to pdf. · 7eea77df
      Raymond Toy authored
      o Change default target to generate pdf file
      o Update rerun loop with a better pattern that is less likely to cause
        an infinite loop.
      7eea77df
    • Raymond Toy's avatar
      Generate pdf file by default. · bf9e40aa
      Raymond Toy authored
      o Change default from ps to pdf output.
      o Fix pattern for rerunning latex to prevent infinite loop due to
        extraneous occurrences of "Rerun".  (From Carl.)
      o Reorder rules for generating pdf so that we generate the indices and
        such before starting the loop.  Otherwise, we're in an infinite loop
        because the indices haven't been generated.
      bf9e40aa
    • Raymond Toy's avatar
      Fix issues with creating pdf and ps documents, from Carl. · ca46df29
      Raymond Toy authored
      cmu-user.tex:
      o Include ifpdf package
      
      design.tex:
      o Include ifpdf package
      o Remove the home-grown ifpdf macro.
      
      macros.tex:
      o Remove the home-grown ifpdf macro.
      
      introduction.tex:
      unicode.tex:
      o Use \url instead of \href for URLs.
      ca46df29
  11. Jan 06, 2013
  12. Jan 04, 2013
  13. Jan 03, 2013
  14. Feb 11, 2012
  15. Nov 04, 2011
Loading