- '?time' now works
[ginac.git] / ginsh / ginsh_parser.yy
index 7e9049f761bcd3e55e3d747c8f6cbf7fb9b2d0f4..646cb020b2094283823319764d591830557c50bc 100644 (file)
@@ -152,6 +152,7 @@ line        : ';'
                }
        }
        | '?' T_SYMBOL          {print_help(ex_to_symbol($2).getname());}
+       | '?' T_TIME            {print_help("time");}
        | '?' '?'               {print_help_topics();}
        | T_QUIT                {YYACCEPT;}
        | T_WARRANTY {