Alloy Community

User login

how to save an evaluator session

 
Posted on: Wed, 02/18/2009 - 18:48
Joined: 2008-07-16
Points: 7
User is offline
how to save an evaluator session
Hi,

Is there any way to save a session of the evaluator?
I tried to mark the text but this does not work.

Thanks!
By the way, is it possible to search topics in the forums?
 
Posted on: Wed, 02/18/2009 - 22:22    #1
Joined: 2008-05-15
Points: 334
User is offline
To save the text of the evaluator session, just use
the mouse to select the text, then hit Ctrl-C
(or the equivalent text copy shortcut is
on your operating system)

To search this forum, just type text into the search box
on the left side of the screen. (Note that the search index
is built by a periodic background job, so if you newly posted
a message, that message won't show up in a search until after
the periodic job has run to completion)
 
Posted on: Thu, 02/19/2009 - 05:42    #2
bernardofbbraga's picture
Joined: 2008-09-04
Points: 104
User is offline
That's weird, I don't see a search box anywhere
----------
Bernardo F. B. Braga
Graduate Student at Universidade Federal do Espirito Santo (UFES), Vitória - Espirito Santo (ES) - Brasil
 
Posted on: Thu, 02/19/2009 - 07:28    #3
Joined: 2008-07-16
Points: 23
User is offline
For some reason the searchbox appears when you are not logged in. If you try to access the search page when logged in it gives an authorisation error (at least in my case).
 
Posted on: Thu, 02/19/2009 - 15:18    #4
bernardofbbraga's picture
Joined: 2008-09-04
Points: 104
User is offline
Confirmed. I logged out and the search box appeared. This must be a bug, hard to belive that "logged users can't use search box" is a desired feature :]
----------
Bernardo F. B. Braga
Graduate Student at Universidade Federal do Espirito Santo (UFES), Vitória - Espirito Santo (ES) - Brasil

Syndicate content  

The development of this site is supported by the National Science Foundation under Computing Research Infrastructure Grant No. 0707612.

Theme originally designed by Chris Herberte