Searched defs:refresh (Results 1 - 3 of 3) sorted by relevance
| /hets/CSL/ | ||
| H A D | CSLMode.el | 19 [menu-bar enclmenu refresh] 24 [menu-bar enclmenu refresh matchmenu] 25 (cons "Match-menu" `(lambda () (interactive) (refresh-matchmenu)))) 29 [menu-bar enclmenu refresh evalmenu] 30 (cons "Eval-menu" `(lambda () (interactive) (refresh-evalmenu)))) 81 (defun refresh-evalmenu () 96 ; (refresh-specmenu entries menusym runfun runlist) 115 (defun refresh-matchmenu () 128 (refresh-specmenu entries 'match 'run-match '("Show match" "Export parameter")) 133 (defun refresh [all...] |
| /hets/OWL2/java/lib/ | ||
| H A D | guava-18.0.jar | META-INF/MANIFEST.MF META-INF/ META-INF/maven/ META-INF/maven/com. ... |
| /hets/CASL/Termination/ | ||
| H A D | AProVE.jar | META-INF/ META-INF/MANIFEST.MF aprove/ aprove/CommandLineInterface/ aprove/Framework/ aprove/Framework/Algebra/ aprove/Framework/ ... |
Completed in 18 milliseconds