File: watch

package info (click to toggle)
metamath 0.198-2
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 2,124 kB
  • sloc: ansic: 31,802; makefile: 43
file content (5 lines) | stat: -rw-r--r-- 67 bytes parent folder | download 
1
2
3
4
5
 
Version: 5

Template: GitHub
Owner: metamath
Project: metamath-exe