/[mojave]/metaprl/editor/ml/shell.ml
ViewVC logotype

Diff of /metaprl/editor/ml/shell.ml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 3583 by nogin, Thu Nov 15 23:03:47 2001 UTC revision 3584 by nogin, Thu Apr 25 15:28:40 2002 UTC
# Line 29  Line 29 
29   * along with this program; if not, write to the Free Software   * along with this program; if not, write to the Free Software
30   * Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.   * Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
31   *   *
32   * Author: Jason Hickey   * Author: Jason Hickey <jyh@cs.cornell.edu>
33   * jyh@cs.cornell.edu   * Modified by: Aleksey Nogin <nogin@cs.cornell.edu>
34   *)   *)
35    
36  include Proof_edit  include Proof_edit

Legend:
Removed from v.3583  
changed lines
  Added in v.3584

  ViewVC Help
Powered by ViewVC 1.1.26