home *** CD-ROM | disk | FTP | other *** search
/ Complete Linux / Complete Linux.iso / docs / devel / lisp / kcl_tar.z / kcl_tar / lsp / mislib.data < prev    next >
Encoding:
Text File  |  1986-07-03  |  1.3 KB  |  55 lines
  1.           
  2. #(
  3. #!
  4. (lisp::in-package 'user::lisp)
  5. #!
  6. (lisp::export 'lisp::time)
  7. #!
  8. (lisp::export '(lisp::decode-universal-time lisp::encode-universal-time))
  9. #!
  10. (lisp::in-package 'lisp::system)
  11. (lisp::optimize (lisp::safety 2) (lisp::space 3))
  12. lisp::let
  13. (system::real-start system::real-end system::run-start system::run-end system::x)
  14. (lisp::setq system::real-start (lisp::get-internal-real-time))
  15. (lisp::setq system::run-start (lisp::get-internal-run-time))
  16. lisp::setq
  17. system::x
  18. lisp::multiple-value-list
  19. ((lisp::setq system::run-end (lisp::get-internal-run-time)) (lisp::setq system::real-end (lisp::get-internal-real-time)) (lisp::fresh-line lisp::*trace-output*) (lisp::format lisp::*trace-output* "real time : ~,3F secs~%~
  20.               run time  : ~,3F secs~%" (lisp::/ (lisp::- system::real-end system::real-start) lisp::internal-time-units-per-second) (lisp::/ (lisp::- system::run-end system::run-start) lisp::internal-time-units-per-second)) (lisp::values-list system::x))
  21. system::month-days-list
  22. (31 28 31 30 31 30 31 31 30 31 30 31)
  23. system::seconds-per-day
  24. 86400
  25. 4
  26. 100
  27. 400
  28. 1900
  29. 365
  30. -460
  31. system::*default-time-zone*
  32. 3600
  33. 7
  34. 60
  35. 366
  36. 1
  37. 29
  38. 2
  39. "#.month-days-list"
  40. 13
  41. 0
  42. 99
  43. 8
  44. -50
  45. 50
  46. lisp::proclaim
  47. lisp::time
  48. system::*make-constant
  49. system::leap-year-p
  50. system::number-of-days-from-1900
  51. lisp::decode-universal-time
  52. lisp::encode-universal-time
  53. lisp::get-decoded-time
  54. )
  55.